espfix_pages       63 arch/x86/kernel/espfix_64.c static void *espfix_pages[ESPFIX_MAX_PAGES];
espfix_pages      150 arch/x86/kernel/espfix_64.c 	stack_page = READ_ONCE(espfix_pages[page]);
espfix_pages      157 arch/x86/kernel/espfix_64.c 	stack_page = READ_ONCE(espfix_pages[page]);
espfix_pages      199 arch/x86/kernel/espfix_64.c 	WRITE_ONCE(espfix_pages[page], stack_page);