Home | History | Annotate | Download | only in priv

Lines Matching defs:sysno

357 system_call(IRExpr *sysno)
360    stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_SYSNO), sysno));
8721    IRTemp sysno = newTemp(Ity_I64);
8724       assign(sysno, mkU64(i));
8726       assign(sysno, unop(Iop_32Uto64, get_gpr_w1(1)));
8728    system_call(mkexpr(sysno));