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