Searched refs:current_cr3 (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c546 static unsigned long current_cr3; variable
555 current_cr3 = cr3; lguest_write_cr3()
565 return current_cr3; lguest_read_cr3()
784 lazy_hcall3(LHCALL_SET_PTE, current_cr3, addr, 0); lguest_flush_tlb_single()

Completed in 64 milliseconds