684 		SET_DBGWVRn(15, (uint64_t)debug_state->uds.ds32.wvr[15]);  in arm_debug_set32()
688 		SET_DBGWVRn(14, (uint64_t)debug_state->uds.ds32.wvr[14]);  in arm_debug_set32()
692 		SET_DBGWVRn(13, (uint64_t)debug_state->uds.ds32.wvr[13]);  in arm_debug_set32()
696 		SET_DBGWVRn(12, (uint64_t)debug_state->uds.ds32.wvr[12]);  in arm_debug_set32()
700 		SET_DBGWVRn(11, (uint64_t)debug_state->uds.ds32.wvr[11]);  in arm_debug_set32()
704 		SET_DBGWVRn(10, (uint64_t)debug_state->uds.ds32.wvr[10]);  in arm_debug_set32()
708 		SET_DBGWVRn(9, (uint64_t)debug_state->uds.ds32.wvr[9]);  in arm_debug_set32()
712 		SET_DBGWVRn(8, (uint64_t)debug_state->uds.ds32.wvr[8]);  in arm_debug_set32()
716 		SET_DBGWVRn(7, (uint64_t)debug_state->uds.ds32.wvr[7]);  in arm_debug_set32()
720 		SET_DBGWVRn(6, (uint64_t)debug_state->uds.ds32.wvr[6]);  in arm_debug_set32()
724 		SET_DBGWVRn(5, (uint64_t)debug_state->uds.ds32.wvr[5]);  in arm_debug_set32()
728 		SET_DBGWVRn(4, (uint64_t)debug_state->uds.ds32.wvr[4]);  in arm_debug_set32()
732 		SET_DBGWVRn(3, (uint64_t)debug_state->uds.ds32.wvr[3]);  in arm_debug_set32()
736 		SET_DBGWVRn(2, (uint64_t)debug_state->uds.ds32.wvr[2]);  in arm_debug_set32()
740 		SET_DBGWVRn(1, (uint64_t)debug_state->uds.ds32.wvr[1]);  in arm_debug_set32()
744 		SET_DBGWVRn(0, (uint64_t)debug_state->uds.ds32.wvr[0]);  in arm_debug_set32()
886 		SET_DBGWVRn(15, debug_state->uds.ds64.wvr[15]);  in arm_debug_set64()
890 		SET_DBGWVRn(14, debug_state->uds.ds64.wvr[14]);  in arm_debug_set64()
894 		SET_DBGWVRn(13, debug_state->uds.ds64.wvr[13]);  in arm_debug_set64()
898 		SET_DBGWVRn(12, debug_state->uds.ds64.wvr[12]);  in arm_debug_set64()
902 		SET_DBGWVRn(11, debug_state->uds.ds64.wvr[11]);  in arm_debug_set64()
906 		SET_DBGWVRn(10, debug_state->uds.ds64.wvr[10]);  in arm_debug_set64()
910 		SET_DBGWVRn(9, debug_state->uds.ds64.wvr[9]);  in arm_debug_set64()
914 		SET_DBGWVRn(8, debug_state->uds.ds64.wvr[8]);  in arm_debug_set64()
918 		SET_DBGWVRn(7, debug_state->uds.ds64.wvr[7]);  in arm_debug_set64()
922 		SET_DBGWVRn(6, debug_state->uds.ds64.wvr[6]);  in arm_debug_set64()
926 		SET_DBGWVRn(5, debug_state->uds.ds64.wvr[5]);  in arm_debug_set64()
930 		SET_DBGWVRn(4, debug_state->uds.ds64.wvr[4]);  in arm_debug_set64()
934 		SET_DBGWVRn(3, debug_state->uds.ds64.wvr[3]);  in arm_debug_set64()
938 		SET_DBGWVRn(2, debug_state->uds.ds64.wvr[2]);  in arm_debug_set64()
942 		SET_DBGWVRn(1, debug_state->uds.ds64.wvr[1]);  in arm_debug_set64()
946 		SET_DBGWVRn(0, debug_state->uds.ds64.wvr[0]);  in arm_debug_set64()
1020 		if (0 != debug_state->wcr[i] && VM_MAX_ADDRESS32 <= debug_state->wvr[i]) {  in debug_legacy_state_is_valid()
1039 		if (0 != debug_state->wcr[i] && VM_MAX_ADDRESS32 <= debug_state->wvr[i]) {  in debug_state_is_valid32()
1058 		if (0 != debug_state->wcr[i] && MACH_VM_MAX_ADDRESS <= debug_state->wvr[i]) {  in debug_state_is_valid64()