Searched refs:SEL4_PACKED (Results 1 – 3 of 3) sorted by relevance
25 } SEL4_PACKED seL4_VBEInfoBlock_t;38 } SEL4_PACKED seL4_VBEModeInfoCommon_t;52 } SEL4_PACKED seL4_VBEInfo12Part1_t;64 } SEL4_PACKED seL4_VBEInfo12Part2_t;69 } SEL4_PACKED seL4_VBEInfo20_t;86 } SEL4_PACKED seL4_VBEInfo30_t;102 } SEL4_PACKED seL4_VBEModeInfoBlock_t;112 } SEL4_PACKED seL4_X86_BootInfo_VBE;123 } SEL4_PACKED seL4_X86_mb_mmap_t;129 } SEL4_PACKED seL4_X86_BootInfo_mmap_t;
37 typedef struct SEL4_PACKED kernel_entry {
19 #define SEL4_PACKED __attribute__((packed)) macro
Completed in 5 milliseconds