Lines Matching defs:mcookie
42 fstack_t mcookie = NULL;
70 * before mapping it to a mcookie. Recalcuate the
79 mcookie = mapping_to_mcookie(requested_virt, requested_len,
82 if (mcookie == NULL)
86 * Recalculate the address of the mcookie.
89 mcookie += va_offset + pa_offset;
92 (uint64_t)requested_virt, (uint32_t)mcookie);
94 return (mcookie);
98 mem_map_out(fcode_env_t *env, fstack_t mcookie, fstack_t requested_len)
105 if (!is_mcookie(mcookie)) {
106 log_message(MSG_ERROR, "pci:%s: %x not mcookie!\n", service,
107 (uint32_t)mcookie);
108 requested_virt = mcookie;
110 requested_virt = mcookie_to_rvirt(mcookie);
111 requested_len = mcookie_to_rlen(mcookie);
112 delete_mapping(mcookie);
114 (uint32_t)mcookie, (uint64_t)requested_virt);