615 		SET_DBGBVRn(15, (uint64_t)debug_state->uds.ds32.bvr[15]);  in arm_debug_set32()
619 		SET_DBGBVRn(14, (uint64_t)debug_state->uds.ds32.bvr[14]);  in arm_debug_set32()
623 		SET_DBGBVRn(13, (uint64_t)debug_state->uds.ds32.bvr[13]);  in arm_debug_set32()
627 		SET_DBGBVRn(12, (uint64_t)debug_state->uds.ds32.bvr[12]);  in arm_debug_set32()
631 		SET_DBGBVRn(11, (uint64_t)debug_state->uds.ds32.bvr[11]);  in arm_debug_set32()
635 		SET_DBGBVRn(10, (uint64_t)debug_state->uds.ds32.bvr[10]);  in arm_debug_set32()
639 		SET_DBGBVRn(9, (uint64_t)debug_state->uds.ds32.bvr[9]);  in arm_debug_set32()
643 		SET_DBGBVRn(8, (uint64_t)debug_state->uds.ds32.bvr[8]);  in arm_debug_set32()
647 		SET_DBGBVRn(7, (uint64_t)debug_state->uds.ds32.bvr[7]);  in arm_debug_set32()
651 		SET_DBGBVRn(6, (uint64_t)debug_state->uds.ds32.bvr[6]);  in arm_debug_set32()
655 		SET_DBGBVRn(5, (uint64_t)debug_state->uds.ds32.bvr[5]);  in arm_debug_set32()
659 		SET_DBGBVRn(4, (uint64_t)debug_state->uds.ds32.bvr[4]);  in arm_debug_set32()
663 		SET_DBGBVRn(3, (uint64_t)debug_state->uds.ds32.bvr[3]);  in arm_debug_set32()
667 		SET_DBGBVRn(2, (uint64_t)debug_state->uds.ds32.bvr[2]);  in arm_debug_set32()
671 		SET_DBGBVRn(1, (uint64_t)debug_state->uds.ds32.bvr[1]);  in arm_debug_set32()
675 		SET_DBGBVRn(0, (uint64_t)debug_state->uds.ds32.bvr[0]);  in arm_debug_set32()
817 		SET_DBGBVRn(15, debug_state->uds.ds64.bvr[15]);  in arm_debug_set64()
821 		SET_DBGBVRn(14, debug_state->uds.ds64.bvr[14]);  in arm_debug_set64()
825 		SET_DBGBVRn(13, debug_state->uds.ds64.bvr[13]);  in arm_debug_set64()
829 		SET_DBGBVRn(12, debug_state->uds.ds64.bvr[12]);  in arm_debug_set64()
833 		SET_DBGBVRn(11, debug_state->uds.ds64.bvr[11]);  in arm_debug_set64()
837 		SET_DBGBVRn(10, debug_state->uds.ds64.bvr[10]);  in arm_debug_set64()
841 		SET_DBGBVRn(9, debug_state->uds.ds64.bvr[9]);  in arm_debug_set64()
845 		SET_DBGBVRn(8, debug_state->uds.ds64.bvr[8]);  in arm_debug_set64()
849 		SET_DBGBVRn(7, debug_state->uds.ds64.bvr[7]);  in arm_debug_set64()
853 		SET_DBGBVRn(6, debug_state->uds.ds64.bvr[6]);  in arm_debug_set64()
857 		SET_DBGBVRn(5, debug_state->uds.ds64.bvr[5]);  in arm_debug_set64()
861 		SET_DBGBVRn(4, debug_state->uds.ds64.bvr[4]);  in arm_debug_set64()
865 		SET_DBGBVRn(3, debug_state->uds.ds64.bvr[3]);  in arm_debug_set64()
869 		SET_DBGBVRn(2, debug_state->uds.ds64.bvr[2]);  in arm_debug_set64()
873 		SET_DBGBVRn(1, debug_state->uds.ds64.bvr[1]);  in arm_debug_set64()
877 		SET_DBGBVRn(0, debug_state->uds.ds64.bvr[0]);  in arm_debug_set64()
1014 		if (0 != debug_state->bcr[i] && VM_MAX_ADDRESS32 <= debug_state->bvr[i]) {  in debug_legacy_state_is_valid()
1033 		if (0 != debug_state->bcr[i] && VM_MAX_ADDRESS32 <= debug_state->bvr[i]) {  in debug_state_is_valid32()
1052 		if (0 != debug_state->bcr[i] && MACH_VM_MAX_ADDRESS <= debug_state->bvr[i]) {  in debug_state_is_valid64()