Lines Matching refs:splx
1728 splx(s); in set_font_mode()
1777 splx(s); in set_normal_mode()
1829 splx(s); in vga_save_font()
1850 splx(s); in vga_save_font()
1909 splx(s); in vga_load_font()
1930 splx(s); in vga_load_font()
1961 splx(s); in vga_show_font()
2147 splx(s); in vga_save_state()
2239 splx(s); in vga_load_state()
2280 splx(s); in vga_read_hw_cursor()
2317 splx(s); in vga_set_hw_cursor()
2373 splx(s); in vga_set_hw_cursor_shape()
2424 splx(s); in vga_blank_display()
2456 splx(s); in vga_blank_display()