Searched refs:native_make_p4d (Results 1 – 5 of 5) sorted by relevance
153 WRITE_ONCE(*p4dp, native_make_p4d(native_pgd_val(pgd))); in native_set_p4d()158 native_set_p4d(p4d, native_make_p4d(0)); in native_p4d_clear()
314 static inline p4d_t native_make_p4d(pudval_t val) in native_make_p4d() function326 static inline p4d_t native_make_p4d(pudval_t val) in native_make_p4d() function
533 set_p4d(p4dp, native_make_p4d(0)); in p4d_clear()
104 #define __p4d(x) native_make_p4d(x)
532 return native_make_p4d(p4d); in xen_make_p4d()