Home
last modified time | relevance | path

Searched refs:kernel_addr (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/arm/
A Dkernel.c158 paddr_t paddr = info->zimage.kernel_addr; in kernel_zimage_load()
224 info->zimage.kernel_addr = addr + sizeof(uimage); in kernel_uimage_probe()
358 info->zimage.kernel_addr = addr; in kernel_zimage64_probe()
408 info->zimage.kernel_addr = addr; in kernel_zimage32_probe()
428 u64 kernel_addr, initrd_addr, dtb_addr, size; in kernel_probe() local
457 dt_get_range(&val, node, &kernel_addr, &size); in kernel_probe()
459 BOOTMOD_KERNEL, kernel_addr); in kernel_probe()
/xen/xen/include/asm-arm/
A Dkernel.h47 paddr_t kernel_addr; member
/xen/tools/xentrace/
A Dxenctx.c118 static type_of_addr kernel_addr(guest_word_t addr) in kernel_addr() function
208 if ( kernel_addr(addr) < type ) in print_symbol()
960 if ( kernel_addr(word) >= KERNEL_TEXT_ADDR ) in print_stack()
1035 kernel_addr(instr_pointer(&ctx)) >= KERNEL_TEXT_ADDR ) in dump_ctx()

Completed in 10 milliseconds