Searched refs:acpi_mcfg_desc_t (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dmcfg.h22 } acpi_mcfg_desc_t; typedef in typeref:struct:acpi_mcfg_desc
33 static inline acpi_mcfg_desc_t*
36 return (acpi_mcfg_desc_t*)(hdr + 1);
39 static inline acpi_mcfg_desc_t*
40 acpi_mcfg_desc_next(acpi_mcfg_t* mcfg, acpi_mcfg_desc_t* cur)
45 return (acpi_mcfg_desc_t*)next;
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dmcfg.h22 } acpi_mcfg_desc_t; typedef in typeref:struct:acpi_mcfg_desc
33 static inline acpi_mcfg_desc_t*
36 return (acpi_mcfg_desc_t*)(hdr + 1);
39 static inline acpi_mcfg_desc_t*
40 acpi_mcfg_desc_next(acpi_mcfg_t* mcfg, acpi_mcfg_desc_t* cur)
45 return (acpi_mcfg_desc_t*)next;
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.c220 print_mcfg_desc(acpi_mcfg_desc_t* mcfg_desc)
233 acpi_mcfg_desc_t* cur = acpi_mcfg_desc_first(mcfg);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.c220 print_mcfg_desc(acpi_mcfg_desc_t* mcfg_desc)
233 acpi_mcfg_desc_t* cur = acpi_mcfg_desc_first(mcfg);

Completed in 88 milliseconds