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

/linux-4.4.14/arch/x86/xen/
H A Dmmu.c1416 static void set_current_cr3(void *v) set_current_cr3() function
1445 xen_mc_callback(set_current_cr3, (void *)cr3); __xen_write_cr3()

Completed in 78 milliseconds