Constant NONVOL_INT_NUMREG_ARM64

pub const NONVOL_INT_NUMREG_ARM64: u32 = 11;