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 *