Lines Matching refs:splx
1779 splx(s); in set_font_mode()
1828 splx(s); in set_normal_mode()
1880 splx(s); in vga_save_font()
1901 splx(s); in vga_save_font()
1960 splx(s); in vga_load_font()
1981 splx(s); in vga_load_font()
2012 splx(s); in vga_show_font()
2198 splx(s); in vga_save_state()
2290 splx(s); in vga_load_state()
2331 splx(s); in vga_read_hw_cursor()
2368 splx(s); in vga_set_hw_cursor()
2424 splx(s); in vga_set_hw_cursor_shape()
2475 splx(s); in vga_blank_display()
2507 splx(s); in vga_blank_display()