258 	int busy, spl;  in console_putmsg()  local
268 		spl = console_enter(busy);  in console_putmsg()
272 		console_exit(busy, spl);  in console_putmsg()
284 	int busy, spl;  in console_vprintf()  local
297 	spl = console_enter(busy);  in console_vprintf()
301 	console_exit(busy, spl);  in console_vprintf()
327 	int busy, spl;  in console_puts()  local
330 	spl = console_enter(busy);  in console_puts()
334 	console_exit(busy, spl);  in console_puts()
348 	int spl = console_enter(busy);  in console_putc()  local
354 	console_exit(busy, spl);  in console_putc()