Searched defs:header (Results 1 - 7 of 7) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dfpu.h45 } header; member in struct:xsave_state
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/
H A Dacpi.h52 acpi_header_t header; member in struct:acpi_rsdt
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c354 seL4_BootInfoHeader header; local
365 seL4_BootInfoHeader header; local
382 seL4_BootInfoHeader header; local
[all...]
/seL4-mcs-10.1.1/src/plat/spike/machine/
H A Dfdt.c194 struct fdt_header *header = (struct fdt_header *)fdt; local
213 struct fdt_header *header = (struct fdt_header *)fdt; local
/seL4-mcs-10.1.1/include/arch/x86/arch/api/
H A Dbootinfo_types.h112 seL4_BootInfoHeader header; member in struct:_seL4_X86_BootInfo_VBE
133 seL4_BootInfoHeader header; member in struct:seL4_X86_BootInfo_mmap
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h112 seL4_BootInfoHeader header; member in struct:_seL4_X86_BootInfo_VBE
133 seL4_BootInfoHeader header; member in struct:seL4_X86_BootInfo_mmap
/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dacpi.c27 acpi_header_t header; member in struct:acpi_dmar
51 acpi_dmar_header_t header; member in struct:acpi_dmar_drhd
76 acpi_dmar_header_t header; member in struct:acpi_dmar_rmrr
88 acpi_header_t header; member in struct:acpi_fadt
97 acpi_header_t header; member in struct:acpi_madt
118 acpi_madt_header_t header; member in struct:acpi_madt_apic
127 acpi_madt_header_t header; member in struct:acpi_madt_x2apic
137 acpi_madt_header_t header; member in struct:acpi_madt_ioapic
147 acpi_madt_header_t header; member in struct:acpi_madt_iso
[all...]

Completed in 48 milliseconds