Searched refs:tboot_size (Results 1 – 2 of 2) sorted by relevance
91 uint32_t tboot_size; /* size of tboot */ member
122 printk(" tboot_size: %#x\n", tboot_shared->tboot_size); in tboot_probe()288 + g_tboot_shared->tboot_size in tboot_gen_xenheap_integrity()349 map_size = PFN_UP(g_tboot_shared->tboot_size); in tboot_shutdown()
Completed in 19 milliseconds