This patch is from 2009-10-20
[coreboot.git] / util / x86emu / include / x86emu /
drwxr-xr-x   ..
-rw-r--r-- 3844 fpu_regs.h
-rw-r--r-- 11535 regs.h
-rw-r--r-- 2889 types.h
-rw-r--r-- 7302 x86emu.h