dprintf2
dprintf2("ptr (%p) contents@%d: %x\n", p1, __LINE__, ptr_contents);
dprintf2("cpu does not have PKU\n");
dprintf2("cpu does not have OSPKE\n");
dprintf2("%s(0x%p, %zx, prot=%lx, pkey=%lx)\n", __func__,
dprintf2("SYS_mprotect_key sret: %d\n", sret);
dprintf2("SYS_mprotect_key prot: 0x%lx\n", orig_prot);
dprintf2("SYS_mprotect_key failed, errno: %d\n", errno);
dprintf2("%s() errno: %d ENOSPC: %d\n", __func__, errno, ENOSPC);
dprintf2("%s() failed to allocate pkey after %d tries\n",
dprintf2("waitpid ret: %ld\n", ret);
dprintf2("waitpid status: %d\n", status);
dprintf2("ptr (%p) contents@%d: %x\n", p1, __LINE__, ptr_contents);
dprintf2("pkey_reg: %016llx\n", read_pkey_reg());
dprintf2("ptr (%p) contents@%d: %x\n", p1, __LINE__, ptr_contents);
dprintf2("pkey_reg: %016llx\n", read_pkey_reg());
dprintf2("%s() raw pkey_reg: %016llx\n", __func__, pkey_reg);
dprintf2("%s() trapno: %d ip: 0x%016lx info->si_code: %s/%d\n",
dprintf2("[%d] SIGCHLD: %d\n", getpid(), x);
dprintf2("new_nr_records: %zd\n", new_nr_records);
dprintf2("new_size: %zd\n", new_size);
dprintf2("%s(): writing '%s' to '%s'\n", __func__, str, file);
dprintf2("%s(): last_pkey_faults: %d pkey_faults: %d\n",
dprintf2("%s(%d): last_si_pkey: %d\n", __func__, pkey, last_si_pkey);