Searched refs:tboot_addr (Results 1 – 4 of 4) sorted by relevance
55 if (!boot_params.tboot_addr) in tboot_probe()61 if (!e820__mapped_any(boot_params.tboot_addr, in tboot_probe()62 boot_params.tboot_addr, E820_TYPE_RESERVED)) { in tboot_probe()68 set_fixmap(FIX_TBOOT_BASE, boot_params.tboot_addr); in tboot_probe()71 pr_warn("tboot at 0x%llx is invalid\n", boot_params.tboot_addr); in tboot_probe()82 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
