Constant ARM_vrintr 

pub const ARM_vrintr: _bindgen_ty_60 = 443;