pub const NONVOL_INT_NUMREG_ARM64: u32 = 11u32;