Home
last modified time | relevance | path

Searched defs:kernel_start (Results 1 – 2 of 2) sorted by relevance

/xen/tools/xentrace/
A Dxenctx.c108 unsigned long long kernel_start = 0xc0000000; variable
111 unsigned long long kernel_start = 0xffffffff80000000UL; variable
114 unsigned long long kernel_start = 0xffffff8000000000UL; variable
/xen/xen/arch/x86/hvm/
A Ddom0_build.c497 paddr_t kernel_start = (paddr_t)elf->dest_base & PAGE_MASK; in find_memory() local

Completed in 11 milliseconds