Searched refs:set_current_cr3 (Results 1 – 1 of 1) sorted by relevance
1304 static void set_current_cr3(void *v) in set_current_cr3() function1333 xen_mc_callback(set_current_cr3, (void *)cr3); in __xen_write_cr3()