Lines Matching defs:sysret
147 struct sysret sysret = cap_invoke3(root, CNodeCmd_GetState, cap, level);
150 if (err_is_ok(sysret.error)) {
151 *ret = sysret.value;
156 return sysret.error;
170 struct sysret sys_ret = cap_invoke1(root, CNodeCmd_GetSize);
207 struct sysret sysret = cap_invoke2(frame, FrameCmd_Identify, (uintptr_t)ret);
209 if (err_is_ok(sysret.error)) {
210 return sysret.error;
215 return sysret.error;
222 struct sysret sysret = cap_invoke1(vnode, VNodeCmd_Identify);
225 if (err_is_ok(sysret.error)) {
226 ret->base = sysret.value & (~BASE_PAGE_MASK);
227 ret->type = sysret.value & BASE_PAGE_MASK;
228 return sysret.error;
233 return sysret.error;
326 struct sysret ret = cap_invoke2(irqcap, IRQDestCmd_Connect, get_cap_addr(epcap));
332 struct sysret ret = cap_invoke1(irqcap, IRQDestCmd_GetVector);
339 struct sysret ret = cap_invoke1(irqcap, IRQDestCmd_GetCpu);
346 struct sysret ret = cap_invoke1(irqcap, IRQSrcCmd_GetVecStart);
353 struct sysret ret = cap_invoke1(irqcap, IRQSrcCmd_GetVecEnd);
362 struct sysret ret = cap_invoke4(irqcap, IRQTableCmd_AllocDestCap,
372 struct sysret ret = cap_invoke1(irqcap, IRQTableCmd_Alloc);
400 struct sysret sysret = cap_invoke1(kern_cap, KernelCmd_Get_core_id);
401 if (sysret.error == SYS_ERR_OK) {
402 *core_id = sysret.value;
404 return sysret.error;