TXT_PUB_CONFIG_REGS_BASE 435 arch/x86/kernel/tboot.c #define NR_TXT_CONFIG_PAGES ((TXT_PUB_CONFIG_REGS_BASE - \ TXT_PUB_CONFIG_REGS_BASE 479 arch/x86/kernel/tboot.c config = ioremap(TXT_PUB_CONFIG_REGS_BASE, NR_TXT_CONFIG_PAGES *