Searched refs:read_pkru (Results 1 – 2 of 2) sorted by relevance
384 unsigned int pkru = read_pkru(); in guest_walk_tables()
338 static inline unsigned int read_pkru(void) in read_pkru() function
Completed in 4 milliseconds