X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=src%2Fflash%2Fpic32mx.c;h=dd24a7dc46c9dc000edb7b6cc392d227c3b28b21;hp=9ed1aef199c5f658a9ba701344466cd473f818f6;hb=0e2c2fe1d1eec5482078147d551215a58604cc3a;hpb=6319ea33f7369823043eaefdb72b7463e760be27

diff --git a/src/flash/pic32mx.c b/src/flash/pic32mx.c
index 9ed1aef199..dd24a7dc46 100644
--- a/src/flash/pic32mx.c
+++ b/src/flash/pic32mx.c
@@ -605,11 +605,11 @@ static int pic32mx_probe(struct flash_bank_s *bank)
 	device_id = ejtag_info->idcode;
 	LOG_INFO( "device id = 0x%08" PRIx32 " (manuf 0x%03x dev 0x%02x, ver 0x%03x)", 
 			  device_id,
-			  (unsigned)((device_id>>1)&0x7ff), 
-			  (unsigned)((device_id>>12)&0xff), 
-			  (unsigned)((device_id>>20)&0xfff) );
+			  (unsigned)((device_id >> 1)&0x7ff), 
+			  (unsigned)((device_id >> 12)&0xff), 
+			  (unsigned)((device_id >> 20)&0xfff) );
 
-	if (((device_id>>1)&0x7ff) != PIC32MX_MANUF_ID) {
+	if (((device_id >> 1)&0x7ff) != PIC32MX_MANUF_ID) {
 		LOG_WARNING( "Cannot identify target as a PIC32MX family." );
 		return ERROR_FLASH_OPERATION_FAILED;
 	}
@@ -697,10 +697,10 @@ static int pic32mx_info(struct flash_bank_s *bank, char *buf, int buf_size)
 
 	device_id = ejtag_info->idcode;
 
-	if (((device_id>>1)&0x7ff) != PIC32MX_MANUF_ID) {
+	if (((device_id >> 1)&0x7ff) != PIC32MX_MANUF_ID) {
 		snprintf(buf, buf_size, 
 				 "Cannot identify target as a PIC32MX family (manufacturer 0x%03d != 0x%03d)\n", 
-				 (unsigned)((device_id>>1)&0x7ff), 
+				 (unsigned)((device_id >> 1)&0x7ff), 
 				 PIC32MX_MANUF_ID);
 		return ERROR_FLASH_OPERATION_FAILED;
 	}
@@ -716,7 +716,7 @@ static int pic32mx_info(struct flash_bank_s *bank, char *buf, int buf_size)
 	buf += printed;
 	buf_size -= printed;
 	printed = snprintf(buf, buf_size, "  Ver: 0x%03x", 
-					   (unsigned)((device_id>>20)&0xfff));
+					   (unsigned)((device_id >> 20)&0xfff));
 
 	return ERROR_OK;
 }