/media/libvpx/vpx_ports/
drwxr-xr-x [up]
-rw-r--r-- 2013-05-19 13:19 -0700 734 arm.h
-rw-r--r-- 2013-05-19 13:19 -0700 5062 arm_cpudetect.c
-rw-r--r-- 2013-05-19 13:19 -0700 900 asm_offsets.h
-rw-r--r-- 2013-05-19 13:19 -0700 859 emms.asm
-rw-r--r-- 2013-05-19 13:19 -0700 1554 mem.h
-rw-r--r-- 2013-05-19 13:19 -0700 2427 vpx_timer.h
-rw-r--r-- 2013-05-19 13:19 -0700 6001 x86.h
-rw-r--r-- 2013-05-19 13:19 -0700 7352 x86_abi_support.asm