github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/linux/test/pkey (about)

     1  # requires: arch=amd64
     2  
     3  r0 = pkey_alloc(0x0, 0x0)
     4  mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)
     5  pkey_mprotect(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, r0)
     6  syz_pkey_set(r0, 0x3)
     7  pipe(&(0x7f0000000000)={0x0, 0x0})  # EFAULT
     8  syz_pkey_set(r0, 0x0)
     9  pipe(&(0x7f0000000000)={0x0, 0x0})
    10  pkey_free(r0)