Home
last modified time | relevance | path

Searched refs: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
122 if ( addr > kernel_start ) in kernel_addr()
140 if ( addr > kernel_start ) in kernel_addr()
146 if ( addr >= kernel_start && in kernel_addr()
1076 kernel_start); in usage()
1204 kernel_start = strtoull(optarg, NULL, 0); in main()
/xen/xen/arch/x86/hvm/
A Ddom0_build.c497 paddr_t kernel_start = (paddr_t)elf->dest_base & PAGE_MASK; in find_memory() local
518 if ( end <= kernel_start || start >= kernel_end ) in find_memory()
521 else if ( kernel_start - start > end - kernel_end ) in find_memory()
522 end = kernel_start; in find_memory()

Completed in 6 milliseconds