Get mptable OEM/product ID from kconfig variables.
[coreboot.git] / src / arch / x86 / include /
drwxr-xr-x   ..
drwxr-xr-x - arch
-rw-r--r-- 316 bitops.h
-rw-r--r-- 844 bootblock_common.h
-rw-r--r-- 1252 div64.h
-rw-r--r-- 290 stddef.h
-rw-r--r-- 1760 stdint.h