119 static void cb_exit(void *arg, int v);
434 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_setreg()
440 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_setreg()
462 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_setmsr()
468 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_setmsr()
497 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_setcr()
503 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_setcr()
515 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_setgdt()
534 		cb_exit(NULL, USERBOOT_EXIT_QUIT);  in cb_exec()
537 	cb_exit(NULL, 0);  in cb_exec()
552 cb_exit(void *arg __unused, int v)  in cb_exit()  function
634 		cb_exit(NULL, 1);  in cb_swap_interpreter()
638 		cb_exit(NULL, 1);  in cb_swap_interpreter()
672 	.exit = cb_exit,