/media/libvpx/vpx_ports/
drwxr-xr-x [up]
-rw-r--r-- 2011-08-31 20:05 +0200 730 arm.h
-rw-r--r-- 2011-08-31 20:05 +0200 4486 arm_cpudetect.c
-rw-r--r-- 2011-08-31 20:05 +0200 435 config.h
-rw-r--r-- 2011-08-31 20:05 +0200 859 emms.asm
-rw-r--r-- 2011-08-31 20:05 +0200 1554 mem.h
-rw-r--r-- 2011-08-31 20:05 +0200 1982 vpx_timer.h
-rw-r--r-- 2011-08-31 20:05 +0200 5947 x86.h
-rw-r--r-- 2011-08-31 20:05 +0200 6409 x86_abi_support.asm
-rw-r--r-- 2011-08-31 20:05 +0200 1556 x86_abi_support_win32.asm