Lines Matching defs:mcookie
43 fstack_t mcookie = NULL;
63 mcookie = mapping_to_mcookie(virt, len, NULL, NULL);
65 if (mcookie == NULL)
69 mcookie += offset;
72 (uint64_t)virt, (uint32_t)mcookie);
74 return (mcookie);
78 mem_map_out(fcode_env_t *env, fstack_t mcookie, fstack_t len)
91 offset = mcookie & PAGEOFFSET;
92 mcookie &= PAGEMASK;
95 if (!is_mcookie(mcookie)) {
96 log_message(MSG_ERROR, "gp2:%s: %x not an mcookie!\n",
97 service, (int)mcookie);
98 virt = mcookie;
100 virt = mcookie_to_addr(mcookie);
102 (int)mcookie, (uint64_t)virt);
103 delete_mapping(mcookie);