Constant ARM64_MAX_WATCHPOINTS 

pub const ARM64_MAX_WATCHPOINTS: u32 = 2u32;