vmm_sighdlr
signal_set(&ps->ps_evsigchld, SIGCHLD, vmm_sighdlr, ps);
void vmm_sighdlr(int, short, void *);