Constant simics_api_sys::VGA_REFRESH_TRIGGERED_HAP_NAME

pub const VGA_REFRESH_TRIGGERED_HAP_NAME: &[u8; 22] = b"Vga_Refresh_Triggered\0";