/media/libvpx/vpx_ports/
drwxr-xr-x [up]
-rw-r--r-- 2010-06-09 08:06 +0200 436 config.h
-rw-r--r-- 2010-06-09 08:06 +0200 850 emms.asm
-rw-r--r-- 2010-06-09 08:06 +0200 1530 mem.h
-rw-r--r-- 2010-06-09 08:06 +0200 2014 vpx_timer.h
-rw-r--r-- 2010-06-09 08:06 +0200 4367 x86.h
-rw-r--r-- 2010-06-09 08:06 +0200 5283 x86_abi_support.asm
-rw-r--r-- 2010-06-09 08:06 +0200 1516 x86_abi_support_win32.asm