Searched refs:tboot_base (Results 1 – 2 of 2) sorted by relevance
89 u32 tboot_base; member
68 pr_debug("tboot_base: 0x%08x\n", tboot->tboot_base); in check_tboot_version()172 map_base = PFN_DOWN(tboot->tboot_base); in tboot_create_trampoline()