Searched refs:read_pkru_ad (Results 1 – 2 of 2) sorted by relevance
386 if ( read_pkru_ad(pkru, pkey) || in guest_walk_tables()
366 static inline bool_t read_pkru_ad(uint32_t pkru, unsigned int pkey) in read_pkru_ad() function
Completed in 4 milliseconds