tboot_addr 60 arch/x86/include/asm/bootparam_utils.h BOOT_PARAM_PRESERVE(tboot_addr), tboot_addr 158 arch/x86/include/uapi/asm/bootparam.h __u64 tboot_addr; /* 0x058 */ tboot_addr 52 arch/x86/kernel/tboot.c if (!boot_params.tboot_addr) tboot_addr 58 arch/x86/kernel/tboot.c if (!e820__mapped_any(boot_params.tboot_addr, tboot_addr 59 arch/x86/kernel/tboot.c boot_params.tboot_addr, E820_TYPE_RESERVED)) { tboot_addr 65 arch/x86/kernel/tboot.c set_fixmap(FIX_TBOOT_BASE, boot_params.tboot_addr); tboot_addr 69 arch/x86/kernel/tboot.c boot_params.tboot_addr); tboot_addr 80 arch/x86/kernel/tboot.c boot_params.tboot_addr);