943 		SET_DBGBVRn(15, (uint64_t)debug_state->uds.ds32.bvr[15]);  in arm_debug_set32()
947 		SET_DBGBVRn(14, (uint64_t)debug_state->uds.ds32.bvr[14]);  in arm_debug_set32()
951 		SET_DBGBVRn(13, (uint64_t)debug_state->uds.ds32.bvr[13]);  in arm_debug_set32()
955 		SET_DBGBVRn(12, (uint64_t)debug_state->uds.ds32.bvr[12]);  in arm_debug_set32()
959 		SET_DBGBVRn(11, (uint64_t)debug_state->uds.ds32.bvr[11]);  in arm_debug_set32()
963 		SET_DBGBVRn(10, (uint64_t)debug_state->uds.ds32.bvr[10]);  in arm_debug_set32()
967 		SET_DBGBVRn(9, (uint64_t)debug_state->uds.ds32.bvr[9]);  in arm_debug_set32()
971 		SET_DBGBVRn(8, (uint64_t)debug_state->uds.ds32.bvr[8]);  in arm_debug_set32()
975 		SET_DBGBVRn(7, (uint64_t)debug_state->uds.ds32.bvr[7]);  in arm_debug_set32()
979 		SET_DBGBVRn(6, (uint64_t)debug_state->uds.ds32.bvr[6]);  in arm_debug_set32()
983 		SET_DBGBVRn(5, (uint64_t)debug_state->uds.ds32.bvr[5]);  in arm_debug_set32()
987 		SET_DBGBVRn(4, (uint64_t)debug_state->uds.ds32.bvr[4]);  in arm_debug_set32()
991 		SET_DBGBVRn(3, (uint64_t)debug_state->uds.ds32.bvr[3]);  in arm_debug_set32()
995 		SET_DBGBVRn(2, (uint64_t)debug_state->uds.ds32.bvr[2]);  in arm_debug_set32()
999 		SET_DBGBVRn(1, (uint64_t)debug_state->uds.ds32.bvr[1]);  in arm_debug_set32()
1003 		SET_DBGBVRn(0, (uint64_t)debug_state->uds.ds32.bvr[0]);  in arm_debug_set32()
1152 		SET_DBGBVRn(15, debug_state->uds.ds64.bvr[15]);  in arm_debug_set64()
1156 		SET_DBGBVRn(14, debug_state->uds.ds64.bvr[14]);  in arm_debug_set64()
1160 		SET_DBGBVRn(13, debug_state->uds.ds64.bvr[13]);  in arm_debug_set64()
1164 		SET_DBGBVRn(12, debug_state->uds.ds64.bvr[12]);  in arm_debug_set64()
1168 		SET_DBGBVRn(11, debug_state->uds.ds64.bvr[11]);  in arm_debug_set64()
1172 		SET_DBGBVRn(10, debug_state->uds.ds64.bvr[10]);  in arm_debug_set64()
1176 		SET_DBGBVRn(9, debug_state->uds.ds64.bvr[9]);  in arm_debug_set64()
1180 		SET_DBGBVRn(8, debug_state->uds.ds64.bvr[8]);  in arm_debug_set64()
1184 		SET_DBGBVRn(7, debug_state->uds.ds64.bvr[7]);  in arm_debug_set64()
1188 		SET_DBGBVRn(6, debug_state->uds.ds64.bvr[6]);  in arm_debug_set64()
1192 		SET_DBGBVRn(5, debug_state->uds.ds64.bvr[5]);  in arm_debug_set64()
1196 		SET_DBGBVRn(4, debug_state->uds.ds64.bvr[4]);  in arm_debug_set64()
1200 		SET_DBGBVRn(3, debug_state->uds.ds64.bvr[3]);  in arm_debug_set64()
1204 		SET_DBGBVRn(2, debug_state->uds.ds64.bvr[2]);  in arm_debug_set64()
1208 		SET_DBGBVRn(1, debug_state->uds.ds64.bvr[1]);  in arm_debug_set64()
1212 		SET_DBGBVRn(0, debug_state->uds.ds64.bvr[0]);  in arm_debug_set64()
1350 		if (0 != debug_state->bcr[i] && VM_MAX_ADDRESS32 <= debug_state->bvr[i]) {  in debug_legacy_state_is_valid()
1369 		if (0 != debug_state->bcr[i] && VM_MAX_ADDRESS32 <= debug_state->bvr[i]) {  in debug_state_is_valid32()
1388 		if (0 != debug_state->bcr[i] && MACH_VM_MAX_ADDRESS <= debug_state->bvr[i]) {  in debug_state_is_valid64()