PIC32_DEVID        90 arch/mips/pic32/pic32mzda/config.c 	return pic32_conf_get_reg_field(PIC32_DEVID, 0, 0x0fffffff);
PIC32_DEVID        95 arch/mips/pic32/pic32mzda/config.c 	return pic32_conf_get_reg_field(PIC32_DEVID, 28, 0xf);