Searched refs:guest_pku_enabled (Results 1 – 2 of 2) sorted by relevance
416 guest_pku_enabled(v) ) in guest_walk_tables()
280 static always_inline bool guest_pku_enabled(const struct vcpu *v) in guest_pku_enabled() function
Completed in 4 milliseconds