Searched defs:efi_info (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/include/arch/k1om/ | ||
H A D | kernel_boot_param.h | 105 struct efi_info struct 132 struct efi_info efi_info; /* 0x1c0 */ member in struct:boot_params |
Completed in 82 milliseconds