Home
last modified time | relevance | path

Searched refs:PACKED (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/arch/x86/arch/kernel/
A Dmultiboot2.h16 } PACKED multiboot2_header_t;
21 } PACKED multiboot2_tag_t;
28 } PACKED multiboot2_memory_t;
34 } PACKED multiboot2_module_t;
43 } PACKED multiboot2_fb_t;
A Dmultiboot.h21 } PACKED multiboot_module_t;
28 } PACKED multiboot_mmap_t;
60 } PACKED multiboot_info_t;
/seL4-master/include/plat/pc99/plat/machine/
A Dacpi.h29 } PACKED acpi_header_t;
42 } PACKED acpi_rsdp_t;
49 } PACKED acpi_rsdt_t;
/seL4-master/include/arch/x86/arch/machine/
A Dfpu.h31 } PACKED i387_state_t;
41 } PACKED xsave_state_t;
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h28 } PACKED tss_io_t;
/seL4-master/include/
A Dutil.h72 #define PACKED __attribute__((packed)) macro
/seL4-master/src/arch/x86/object/
A Dvcpu.c45 static struct PACKED { struct
1308 } PACKED operand = {vpid, 0, 0}; in invvpid_context()

Completed in 12 milliseconds