Searched refs:tboot_addr (Results 1 – 4 of 4) sorted by relevance
56 pr_warn("tboot at 0x%llx is invalid\n", boot_params.tboot_addr); in check_tboot_version()66 boot_params.tboot_addr); in check_tboot_version()79 if (!boot_params.tboot_addr) in tboot_probe()85 if (!e820__mapped_any(boot_params.tboot_addr, in tboot_probe()86 boot_params.tboot_addr, E820_TYPE_RESERVED)) { in tboot_probe()92 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
179 __u64 tboot_addr; /* 0x058 */ member
Completed in 6 milliseconds