Searched refs:PACKED (Results 1 - 9 of 9) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dmultiboot2.h21 } PACKED multiboot2_header_t;
26 } PACKED multiboot2_tag_t;
33 } PACKED multiboot2_memory_t;
39 } PACKED multiboot2_module_t;
48 } PACKED multiboot2_fb_t;
H A Dmultiboot.h27 } PACKED multiboot_module_t;
34 } PACKED multiboot_mmap_t;
66 } PACKED multiboot_info_t;
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/
H A Dacpi.h34 } PACKED acpi_header_t;
47 } PACKED acpi_rsdp_t;
54 } PACKED acpi_rsdt_t;
/seL4-mcs-10.1.1/include/benchmark/
H A Dbenchmark_track_types.h45 typedef struct PACKED kernel_entry {
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dbenchmark_track_types.h45 typedef struct PACKED kernel_entry {
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dfpu.h36 } PACKED i387_state_t;
46 } PACKED xsave_state_t;
/seL4-mcs-10.1.1/include/arch/x86/arch/model/
H A Dstatedata.h33 } PACKED tss_io_t;
/seL4-mcs-10.1.1/include/
H A Dutil.h38 #define PACKED __attribute__((packed)) macro
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dvcpu.c51 static struct PACKED { struct
1350 } PACKED operand = {vpid, 0, 0};

Completed in 94 milliseconds