Searched refs:bi_kernend (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/ | ||
| H A D | bootinfo.h | 48 uint64_t bi_kernend; /* end of kernel space */ member in struct:bootinfo |
Completed in 78 milliseconds