/media/libvpx/vpx_ports/
drwxr-xr-x [up]
-rw-r--r-- 2012-10-04 17:28 +0800 734 arm.h
-rw-r--r-- 2012-10-04 17:28 +0800 5062 arm_cpudetect.c
-rw-r--r-- 2012-10-04 17:28 +0800 900 asm_offsets.h
-rw-r--r-- 2012-10-04 17:28 +0800 859 emms.asm
-rw-r--r-- 2012-10-04 17:28 +0800 1554 mem.h
-rw-r--r-- 2012-10-04 17:28 +0800 2427 vpx_timer.h
-rw-r--r-- 2012-10-04 17:28 +0800 6001 x86.h
-rw-r--r-- 2012-10-04 17:28 +0800 7352 x86_abi_support.asm