Searched refs:tboot_addr (Results 1 – 4 of 4) sorted by relevance
54 pr_warn("tboot at 0x%llx is invalid\n", boot_params.tboot_addr); in check_tboot_version()64 boot_params.tboot_addr); in check_tboot_version()77 if (!boot_params.tboot_addr) in tboot_probe()83 if (!e820__mapped_any(boot_params.tboot_addr, in tboot_probe()84 boot_params.tboot_addr, E820_TYPE_RESERVED)) { in tboot_probe()90 set_fixmap(FIX_TBOOT_BASE, boot_params.tboot_addr); in tboot_probe()
60 BOOT_PARAM_PRESERVE(tboot_addr), in sanitize_boot_params()
19 058/008 ALL tboot_addr Physical address of tboot shared page
189 __u64 tboot_addr; /* 0x058 */ member