/media/libvpx/vpx_ports/
drwxr-xr-x [up]
-rw-r--r-- 2014-06-11 13:55 -0400 734 arm.h
-rw-r--r-- 2014-06-11 13:55 -0400 4740 arm_cpudetect.c
-rw-r--r-- 2014-06-11 13:55 -0400 900 asm_offsets.h
-rw-r--r-- 2014-06-11 13:55 -0400 435 config.h
-rw-r--r-- 2014-06-11 13:55 -0400 1592 emmintrin_compat.h
-rw-r--r-- 2014-06-11 13:55 -0400 872 emms.asm
-rw-r--r-- 2014-06-11 13:55 -0400 1559 mem.h
-rw-r--r-- 2014-06-11 13:55 -0400 6312 mem_ops.h
-rw-r--r-- 2014-06-11 13:55 -0400 5622 mem_ops_aligned.h
-rw-r--r-- 2014-06-11 13:55 -0400 2482 vpx_once.h
-rw-r--r-- 2014-06-11 13:55 -0400 2331 vpx_timer.h
-rw-r--r-- 2014-06-11 13:55 -0400 6049 x86.h
-rw-r--r-- 2014-06-11 13:55 -0400 9091 x86_abi_support.asm
-rw-r--r-- 2014-06-11 13:55 -0400 1553 x86_cpuid.c