HelenOS sources

KERNEL_ADDRESS    168 boot/arch/ia64/src/main.c 	    (void *) KERNEL_ADDRESS, (void *) KERNEL_ADDRESS);
KERNEL_ADDRESS    176 boot/arch/ia64/src/main.c 	uint8_t *kernel_start = (uint8_t *) KERNEL_ADDRESS;
KERNEL_ADDRESS    202 boot/arch/ia64/src/main.c 	entry = entry - KERNEL_VADDRESS + KERNEL_ADDRESS;
KERNEL_ADDRESS     60 boot/arch/sparc64/src/main.c #define TOP2ADDR(top)  (((void *) KERNEL_ADDRESS) + (top))
KERNEL_ADDRESS    208 boot/arch/sparc64/src/main.c 	void *kernel_address_pa = ofw_translate((void *) KERNEL_ADDRESS);
KERNEL_ADDRESS    215 boot/arch/sparc64/src/main.c 	    (void *) KERNEL_ADDRESS, (void *) kernel_address_pa);
KERNEL_ADDRESS    229 boot/arch/sparc64/src/main.c 	ofw_claim_phys((void *) (bootinfo.physmem_start + KERNEL_ADDRESS), sz);
KERNEL_ADDRESS    230 boot/arch/sparc64/src/main.c 	ofw_map((void *) (bootinfo.physmem_start + KERNEL_ADDRESS),
KERNEL_ADDRESS    231 boot/arch/sparc64/src/main.c 	    (void *) KERNEL_ADDRESS, sz, -1);
KERNEL_ADDRESS    236 boot/arch/sparc64/src/main.c 	extract_payload(&bootinfo.taskmap, (void *) KERNEL_ADDRESS,
KERNEL_ADDRESS    237 boot/arch/sparc64/src/main.c 	    (void *) KERNEL_ADDRESS + sz, KERNEL_ADDRESS, NULL);
KERNEL_ADDRESS    244 boot/arch/sparc64/src/main.c 	void *balloc_base = (void *) KERNEL_ADDRESS + sz;
KERNEL_ADDRESS    260 boot/arch/sparc64/src/main.c 	uintptr_t entry = check_kernel((void *) KERNEL_ADDRESS);
KERNEL_ADDRESS    100 boot/arch/sparc64/src/ofw.c 					    NULL, child, KERNEL_ADDRESS,