Searched defs:e_ident (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/arch/x86/arch/64/mode/kernel/ | ||
| A D | elf.h | 13 unsigned char e_ident[16]; member |
| /seL4-master/include/arch/x86/arch/32/mode/kernel/ | ||
| A D | elf.h | 15 unsigned char e_ident[16]; member |
Completed in 4 milliseconds