trampoline_pgtable  195 arch/x86/boot/compressed/pgtable_64.c 	void *trampoline_pgtable;
trampoline_pgtable  197 arch/x86/boot/compressed/pgtable_64.c 	trampoline_pgtable = trampoline_32bit + TRAMPOLINE_32BIT_PGTABLE_OFFSET / sizeof(unsigned long);
trampoline_pgtable  203 arch/x86/boot/compressed/pgtable_64.c 	if ((void *)__native_read_cr3() == trampoline_pgtable) {
trampoline_pgtable  204 arch/x86/boot/compressed/pgtable_64.c 		memcpy(pgtable, trampoline_pgtable, PAGE_SIZE);