Home
last modified time | relevance | path

Searched refs:pkey (Results 1 – 2 of 2) sorted by relevance

/xen/xen/include/asm-x86/
A Dprocessor.h398 static inline bool_t read_pkru_ad(uint32_t pkru, unsigned int pkey) in read_pkru_ad() argument
400 ASSERT(pkey < 16); in read_pkru_ad()
401 return (pkru >> (pkey * PKRU_ATTRS + PKRU_READ)) & 1; in read_pkru_ad()
404 static inline bool_t read_pkru_wd(uint32_t pkru, unsigned int pkey) in read_pkru_wd() argument
406 ASSERT(pkey < 16); in read_pkru_wd()
407 return (pkru >> (pkey * PKRU_ATTRS + PKRU_WRITE)) & 1; in read_pkru_wd()
/xen/xen/arch/x86/mm/
A Dguest_walk.c418 unsigned int pkey = guest_l1e_get_pkey(gw->l1e); in guest_walk_tables() local
421 if ( read_pkru_ad(pkru, pkey) || in guest_walk_tables()
422 ((walk & PFEC_write_access) && read_pkru_wd(pkru, pkey) && in guest_walk_tables()

Completed in 5 milliseconds