vcons_hard_switch
vcons_hard_switch(LIST_FIRST(&vdp->screens));
void vcons_hard_switch(struct vcons_screen *);
vcons_hard_switch(&scp->sc_console_screen);