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