Constant simics_api_sys::CORE_EXTERNAL_INTERRUPT_HAP_NAME

pub const CORE_EXTERNAL_INTERRUPT_HAP_NAME: &[u8; 24] = b"Core_External_Interrupt\0";