record_pkey_malloc
void record_pkey_malloc(void *ptr, long size, int prot);
record_pkey_malloc(ptr, size, prot);
record_pkey_malloc(ptr, size, prot);
record_pkey_malloc(ptr, size, prot);
record_pkey_malloc(ptr, size, prot);