expect_fault_on_read_execonly_key
expect_fault_on_read_execonly_key(p1, pkey);
expect_fault_on_read_execonly_key(p1, UNKNOWN_PKEY);