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);