oneechanhax/phunix
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

floppy: resolve Coverity warnings

Browse Source
This commit is contained in:
David van Moolenbroek 2012-08-03 16:14:37 +00:00
parent 4f877afeb6
commit c984359bb0
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
drivers/floppy/floppy.c
View File

@ -767,7 +767,8 @@ static void start_motor(void)
set_timer(&f_tmr_timeout, f_dp->start_ms * system_hz / 1000, f_timeout, 0); set_timer(&f_tmr_timeout, f_dp->start_ms * system_hz / 1000, f_timeout, 0);
f_busy = BSY_IO; f_busy = BSY_IO;
do { do {
driver_receive(ANY, &mess, &ipc_status); if ((s = driver_receive(ANY, &mess, &ipc_status)) != OK)
panic("Couldn't receive message: %d", s);
if (is_ipc_notify(ipc_status)) { if (is_ipc_notify(ipc_status)) {
switch (_ENDPOINT_P(mess.m_source)) { switch (_ENDPOINT_P(mess.m_source)) {
@ -842,7 +843,8 @@ static int seek(void)
set_timer(&f_tmr_timeout, system_hz/30, f_timeout, 0); set_timer(&f_tmr_timeout, system_hz/30, f_timeout, 0);
f_busy = BSY_IO; f_busy = BSY_IO;
do { do {
driver_receive(ANY, &mess, &ipc_status); if ((r = driver_receive(ANY, &mess, &ipc_status)) != OK)
panic("Couldn't receive message: %d", r);
if (is_ipc_notify(ipc_status)) { if (is_ipc_notify(ipc_status)) {
switch (_ENDPOINT_P(mess.m_source)) { switch (_ENDPOINT_P(mess.m_source)) {
@ -1120,7 +1122,8 @@ static void f_reset(void)
* but be prepared to handle a timeout. * but be prepared to handle a timeout.
*/ */
do { do {
driver_receive(ANY, &mess, &ipc_status); if ((s = driver_receive(ANY, &mess, &ipc_status)) != OK)
panic("Couldn't receive message: %d", s);
if (is_ipc_notify(ipc_status)) { if (is_ipc_notify(ipc_status)) {
switch (_ENDPOINT_P(mess.m_source)) { switch (_ENDPOINT_P(mess.m_source)) {
case CLOCK: case CLOCK:
@ -1166,11 +1169,12 @@ static int f_intr_wait(void)
* the world, but we humans do not. * the world, but we humans do not.
*/ */
message mess; message mess;
int ipc_status; int r, ipc_status;
/* We expect an interrupt, but if a timeout, occurs, report an error. */ /* We expect an interrupt, but if a timeout, occurs, report an error. */
do { do {
driver_receive(ANY, &mess, &ipc_status); if ((r = driver_receive(ANY, &mess, &ipc_status)) != OK)
panic("Couldn't receive message: %d", r);
if (is_ipc_notify(ipc_status)) { if (is_ipc_notify(ipc_status)) {
switch (_ENDPOINT_P(mess.m_source)) { switch (_ENDPOINT_P(mess.m_source)) {
case CLOCK: case CLOCK: