Constant simics_api_sys::ARM_INT_NMI

pub const ARM_INT_NMI: u32 = 512;