proc_continue
#define Psetrun(p, a1, a2) proc_continue((p))
int proc_continue(struct proc_handle *);
proc_continue(phdl);
proc_continue(phdl);
proc_continue(phdl);
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");
ATF_CHECK_EQ_MSG(proc_continue(phdl), 0, "failed to resume execution");