Add a couple of fixes to allow double buffering to work
[picodrive.git] / platform / common /
drwxr-xr-x   ..
-rw-r--r-- 425 arm_utils.h
-rw-r--r-- 7927 arm_utils.s
-rw-r--r-- 4620 common.mak
-rw-r--r-- 13734 config_file.c
-rw-r--r-- 335 config_file.h
-rw-r--r-- 36982 emu.c
-rw-r--r-- 4554 emu.h
-rw-r--r-- 1416 input_pico.h
-rw-r--r-- 3039 main.c
-rw-r--r-- 33730 menu_pico.c
-rw-r--r-- 2148 menu_pico.h
-rw-r--r-- 4186 mp3.c
-rw-r--r-- 449 mp3.h
-rw-r--r-- 327 mp3_dummy.c
-rw-r--r-- 2213 mp3_helix.c
-rw-r--r-- 4040 mp3_libavcodec.c
-rw-r--r-- 6354 plat_sdl.c
-rw-r--r-- 24 version.h