drivers/video/console/vgacon.c

521

vgacon_set_cursor_size(31, 30);

drivers/video/console/vgacon.c

523

vgacon_set_cursor_size(31, 31);

drivers/video/console/vgacon.c

529

vgacon_set_cursor_size(c_height - (c_height < 10 ? 2 : 3),

drivers/video/console/vgacon.c

533

vgacon_set_cursor_size(c_height / 3,

drivers/video/console/vgacon.c

537

vgacon_set_cursor_size(c_height * 2 / 3,

drivers/video/console/vgacon.c

541

vgacon_set_cursor_size(c_height / 2,

drivers/video/console/vgacon.c

546

vgacon_set_cursor_size(31, 30);

drivers/video/console/vgacon.c

548

vgacon_set_cursor_size(31, 31);

drivers/video/console/vgacon.c

551

vgacon_set_cursor_size(1, c_height);