/media/libvpx/vpx_ports/
drwxr-xr-x [up]
-rw-r--r-- 2012-04-06 14:07 -0400 730 arm.h
-rw-r--r-- 2012-04-06 14:07 -0400 4486 arm_cpudetect.c
-rw-r--r-- 2012-04-06 14:07 -0400 900 asm_offsets.h
-rw-r--r-- 2012-04-06 14:07 -0400 435 config.h
-rw-r--r-- 2012-04-06 14:07 -0400 859 emms.asm
-rw-r--r-- 2012-04-06 14:07 -0400 1554 mem.h
-rw-r--r-- 2012-04-06 14:07 -0400 2427 vpx_timer.h
-rw-r--r-- 2012-04-06 14:07 -0400 5997 x86.h
-rw-r--r-- 2012-04-06 14:07 -0400 7352 x86_abi_support.asm