sys/dev/raid/asr/asr.c

3678

#define ptok(a) ((char *)(uintptr_t)(a) + KERNBASE)

sys/kern/link_elf.c

159

linker_kernel_file->address = (caddr_t) KERNBASE;

sys/kern/link_elf_obj.c

662

mapbase = KERNBASE;

sys/platform/pc64/include/pc/bios.h

36

#define BIOS_PADDRTOVADDR(x) ((x) + KERNBASE)

sys/platform/pc64/include/pc/bios.h

37

#define BIOS_VADDRTOPADDR(x) ((x) - KERNBASE)

sys/platform/pc64/include/vmparam.h

126

#define PTOV_OFFSET KERNBASE

sys/platform/pc64/x86_64/genassym.c

88

ASSYM(KERNBASE, KERNBASE);

sys/platform/pc64/x86_64/machdep.c

2275

ebda_addr = (u_long)(*(u_short *)(KERNBASE + 0x40e));

sys/platform/pc64/x86_64/machdep.c

2654

preload_metadata = (caddr_t)bootinfo.bi_modulep + KERNBASE;

sys/platform/pc64/x86_64/machdep.c

2655

preload_bootstrap_relocate(KERNBASE);

sys/platform/pc64/x86_64/machdep.c

2660

kern_envp = (caddr_t)bootinfo.bi_envp + KERNBASE;

sys/platform/pc64/x86_64/mp_machdep.c

392

vm_offset_t va = boot_address + KERNBASE;

sys/platform/pc64/x86_64/mp_machdep.c

414

pt4 = (u_int64_t *)(uintptr_t)(mptramp_pagetables + KERNBASE);

sys/platform/pc64/x86_64/mp_machdep.c

631

u_char *dst = (u_char *) boot_addr + KERNBASE;

sys/platform/pc64/x86_64/mp_machdep.c

649

dst = (u_char *) boot_addr + KERNBASE;

sys/platform/pc64/x86_64/mp_machdep.c

657

*dst32 = ((u_int) MPentry - KERNBASE);

sys/platform/pc64/x86_64/mp_machdep.c

73

#define WARMBOOT_OFF (KERNBASE + 0x0467)

sys/platform/pc64/x86_64/mp_machdep.c

74

#define WARMBOOT_SEG (KERNBASE + 0x0469)

sys/platform/pc64/x86_64/nexus.c

434

vaddr = (caddr_t)(uintptr_t)(KERNBASE + rman_get_start(r));

sys/platform/pc64/x86_64/pmap.c

3364

if (kstart < KERNBASE) {

sys/platform/pc64/x86_64/pmap.c

3367

KKASSERT(kend <= KERNBASE);