diff --git a/src/kernel/drivers/arch/x86/console/console.c b/src/kernel/drivers/arch/x86/console/console.c
index 2c7fd12df4..4810d482f1 100755
--- a/src/kernel/drivers/arch/x86/console/console.c
+++ b/src/kernel/drivers/arch/x86/console/console.c
@@ -252,13 +252,13 @@ static int console_ioctl(void * cookie, uint32 op, void *buf, size_t len)
 			if(_console_write(((char *)buf) + 2*sizeof(int), len - 2*sizeof(int)) > 0)
 				err = 0; // we're okay
 			else
-				err = ERR_IO_ERROR;
+				err = EIO;
 			restore_cur();
 			mutex_unlock(&console_lock);
 			break;
 		}
 		default:
-			err = ERR_INVALID_ARGS;
+			err = EINVAL;
 	}
 
 	return err;