Searched refs:trampoline_pgtable (Results 1 – 1 of 1) sorted by relevance
194 void *trampoline_pgtable; in cleanup_trampoline() local196 trampoline_pgtable = trampoline_32bit + TRAMPOLINE_32BIT_PGTABLE_OFFSET / sizeof(unsigned long); in cleanup_trampoline()202 if ((void *)__native_read_cr3() == trampoline_pgtable) { in cleanup_trampoline()203 memcpy(pgtable, trampoline_pgtable, PAGE_SIZE); in cleanup_trampoline()
