Searched refs:BTOPKERNBASE (Results 1 - 2 of 2) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ia32/machine/
H A Dparam.h92 #define BTOPKERNBASE (KERNBASE >> PGSHIFT) macro
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/
H A Dparam.h38 #define BTOPKERNBASE ((u_long)KERNBASE >> PGSHIFT) macro

Completed in 1561 milliseconds