acpi: Add IORT helper functions
[coreboot2.git] / src / drivers / ipmi / ocp / 
treeef6d4f4480a7b361756b9b0f0738ea7f9ab2cfd5
drwxr-xr-x   ..
-rw-r--r-- 393 Kconfig
-rw-r--r-- 241 Makefile.mk
-rw-r--r-- 2430 ipmi_ocp.c
-rw-r--r-- 5772 ipmi_ocp.h
-rw-r--r-- 2053 ipmi_ocp_romstage.c
-rw-r--r-- 3376 ipmi_sel.c