Searched refs:KERNBASE (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ia32/machine/
H A Dparam.h84 #error "You should only re-define KERNBASE"
87 #ifndef KERNBASE
88 #define KERNBASE 0xc0000000UL /* start of kernel virtual space */ macro
91 #define KERNTEXTOFF (KERNBASE + 0x100000) /* start of kernel text */
92 #define BTOPKERNBASE (KERNBASE >> PGSHIFT)
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/
H A Dparam.h36 #define KERNBASE 0xffffffff80000000 /* start of kernel virtual space */ macro
38 #define BTOPKERNBASE ((u_long)KERNBASE >> PGSHIFT)
/vbox/src/VBox/Runtime/r0drv/freebsd/
H A Dalloc-r0drv-freebsd.c71 VM_PROT_ALL, VM_PROT_ALL, KERNBASE);
74 vm_offset_t Addr = KERNBASE;

Completed in 38 milliseconds