Lines Matching defs:virt
39 fc_reg_read(fcode_env_t *env, char *service, fstack_t virt, int *errp)
44 if (!is_mcookie(virt))
45 forth_abort(env, "fc_reg_read: bad mcookie: 0x%x\n", virt);
47 virtaddr = mcookie_to_addr(virt);
58 " virt: %llx\n", (uint64_t)virt, (uint64_t)virtaddr);
64 fc_reg_write(fcode_env_t *env, char *service, fstack_t virt, fc_cell_t data,
70 if (!is_mcookie(virt))
71 forth_abort(env, "fc_reg_write: bad mcookie: 0x%x\n", virt);
73 virtaddr = mcookie_to_addr(virt);
84 " virt: %llx\n", (uint64_t)virt, (uint64_t)virtaddr);