dprintf4
dprintf4("%s() changing %016llx to %016llx\n",
dprintf4("%s() pkey register after changing %016llx to %016llx\n",
dprintf4("read_pkey_reg(line=%d) pkey_reg: %016llx"
dprintf4("%s() changing %016llx to %016llx\n", __func__,
dprintf4("%s(%016llx) pkey_reg: %016llx\n", __func__,
dprintf4("%s() changing %016llx to %016llx\n",
dprintf4("%s() pkey register after changing %016llx to %016llx\n",
dprintf4("%s() changing %016llx to %016llx\n", __func__,
dprintf4("%s()::%d, err: %d pkey_reg: 0x%016llx"
dprintf4("%s()::%d, ret: %d pkey_reg: 0x%016llx"
dprintf4("%s()::%d, ret: %d pkey_reg: 0x%016llx"
dprintf4("%s()::%d, ret: %d pkey_reg: 0x%016llx"
dprintf4("%s()::%d, ret: %d pkey_reg: 0x%016llx"
dprintf4("looking for ptr %p at record[%ld/%p]: {%p, %ld}\n",