toolong
static void toolong(int);
signal(SIGALRM, toolong);
int pmap_inval_intr(cpumask_t *cpumask, int toolong);
int toolong;
toolong = 1;
toolong = 0;
toolong = 0;
if (pmap_inval_intr(&cpumask, toolong) == 0) {
pmap_inval_intr(cpumask_t *cpumaskp, int toolong)
if (toolong) {