Searched refs:tboot_base (Results 1 – 2 of 2) sorted by relevance
120 printk(" tboot_base: %#x\n", tboot_shared->tboot_base); in tboot_probe()285 if ( (mfn >= PFN_DOWN(g_tboot_shared->tboot_base - 3 * PAGE_SIZE)) in tboot_gen_xenheap_integrity()286 && (mfn < PFN_UP(g_tboot_shared->tboot_base in tboot_gen_xenheap_integrity()346 map_base = PFN_DOWN(g_tboot_shared->tboot_base); in tboot_shutdown()
90 uint32_t tboot_base; /* starting addr for tboot */ member
Completed in 5 milliseconds