Searched refs:e_flags (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/arch/x86/arch/64/mode/kernel/ | ||
| A D | elf.h | 20 uint32_t e_flags; member |
| /seL4-master/include/arch/x86/arch/32/mode/kernel/ | ||
| A D | elf.h | 22 uint32_t e_flags; /* Flags */ member |
Completed in 3 milliseconds