display_crtc_scale
void display_crtc_scale(uint8 crtcID, display_mode* mode);
display_crtc_scale(crtcID, mode);