sendsig(catcher, sig, mask, code)
sig_t catcher;
int sig, mask;
sendsig(catcher, sig, mask, code)
sig_t catcher;
int sig, mask;
if (panicstr == 0)
vnode_pager_umount((struct mount *)NULL);
sync(&proc0, (void *)NULL, (int *)NULL);
if (panicstr == 0)
vnode_pager_umount((struct mount *)NULL);
sync(&proc0, (void *)NULL, (int *)NULL);