ARCMSR_MESSAGE_FIRMWARE_OK
} while ((firmware_state & ARCMSR_MESSAGE_FIRMWARE_OK) == 0);
ARCMSR_MESSAGE_FIRMWARE_OK) == 0) ? true : false;