# requires: arch=amd64

r0 = pkey_alloc(0x0, 0x0)
mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)
pkey_mprotect(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, r0)
syz_pkey_set(r0, 0x3)
pipe(&(0x7f0000000000)={0x0, 0x0})  # EFAULT
syz_pkey_set(r0, 0x0)
pipe(&(0x7f0000000000)={0x0, 0x0})
pkey_free(r0)