Searched refs:__xen_set_p4d_hyper (Results 1 – 1 of 1) sorted by relevance
458 static void __xen_set_p4d_hyper(p4d_t *ptr, p4d_t val) in __xen_set_p4d_hyper() function480 __xen_set_p4d_hyper(ptr, val); in xen_set_p4d_hyper()510 __xen_set_p4d_hyper(ptr, val); in xen_set_p4d()512 __xen_set_p4d_hyper((p4d_t *)user_ptr, val); in xen_set_p4d()