guest_l1e_get_pkey (reference) in projects: xen

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

/xen/xen/include/asm-x86/
A D	guest_pt.h	`87 static inline u32 guest_l1e_get_pkey(guest_l1e_t gl1e) in guest_l1e_get_pkey() function 172 static inline u32 guest_l1e_get_pkey(guest_l1e_t gl1e) in guest_l1e_get_pkey() function`
/xen/xen/arch/x86/mm/
A D	guest_walk.c	`418 unsigned int pkey = guest_l1e_get_pkey(gw->l1e); in guest_walk_tables()`

Completed in 4 milliseconds