Symbol: cb_acpi_rsdp
sys/dev/coreboot/coreboot.c
411
struct cb_acpi_rsdp *rsdp =
sys/dev/coreboot/coreboot.c
412
(struct cb_acpi_rsdp *)rec;