Home
last modified time | relevance | path

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

/xen/xen/arch/x86/
A Dtboot.c33 static uint64_t __initdata sinit_base, __initdata sinit_size; variable
129 txt_heap_base = txt_heap_size = sinit_base = sinit_size = 0; in tboot_probe()
136 tboot_copy_memory((unsigned char *)&sinit_base, sizeof(sinit_base), in tboot_probe()
426 if ( sinit_base == 0 ) in tboot_protect_mem_regions()
428 rc = e820_change_range_type(&e820, sinit_base, in tboot_protect_mem_regions()
429 sinit_base + sinit_size, in tboot_protect_mem_regions()

Completed in 3 milliseconds