Constant NONVOL_INT_NUMREG_ARM64 

pub const NONVOL_INT_NUMREG_ARM64: u32 = 11u32;