fc_ptr2cell
cp->svc_name = fc_ptr2cell(FC_SVC_INVALIDATE);
cp->svc_name = fc_ptr2cell(FC_SVC_EXIT);
cp->svc_name = fc_ptr2cell(name);
cp->svc_name = fc_ptr2cell(FC_SVC_VALIDATE);
fc_result(cp, 0) = fc_ptr2cell(virt);
fc_result(cp, 0) = fc_ptr2cell(virt);