Searched defs:pkey (Results 1 – 2 of 2) sorted by relevance
383 unsigned int pkey = guest_l1e_get_pkey(gw->l1e); in guest_walk_tables() local
366 static inline bool_t read_pkru_ad(uint32_t pkru, unsigned int pkey) in read_pkru_ad()372 static inline bool_t read_pkru_wd(uint32_t pkru, unsigned int pkey) in read_pkru_wd()
Completed in 4 milliseconds