Searched refs:pkey (Results 1 – 2 of 2) sorted by relevance
366 static inline bool_t read_pkru_ad(uint32_t pkru, unsigned int pkey) in read_pkru_ad() argument368 ASSERT(pkey < 16); in read_pkru_ad()369 return (pkru >> (pkey * PKRU_ATTRS + PKRU_READ)) & 1; in read_pkru_ad()372 static inline bool_t read_pkru_wd(uint32_t pkru, unsigned int pkey) in read_pkru_wd() argument374 ASSERT(pkey < 16); in read_pkru_wd()375 return (pkru >> (pkey * PKRU_ATTRS + PKRU_WRITE)) & 1; in read_pkru_wd()
383 unsigned int pkey = guest_l1e_get_pkey(gw->l1e); in guest_walk_tables() local386 if ( read_pkru_ad(pkru, pkey) || in guest_walk_tables()387 ((walk & PFEC_write_access) && read_pkru_wd(pkru, pkey) && in guest_walk_tables()
Completed in 4 milliseconds