expect_fault_on_read_execonly_key
static inline void expect_fault_on_read_execonly_key(void *p1, int pkey)
static inline void expect_fault_on_read_execonly_key(void *p1, int pkey)
static inline void expect_fault_on_read_execonly_key(void *p1, int pkey)