summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2021-04-04 16:47:38 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2021-04-04 16:47:38 +0200
commitb21f84ef1bb9e9ba69bfea069295ad4618f671eb (patch)
treeaf3e80941a206353b0eb7a1a21b95e02601f5c09 /device
parente5facfba3d2dba679d72c859066260eb0d33456c (diff)
SMP: Fix warnings
Diffstat (limited to 'device')
-rw-r--r--device/intr.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/device/intr.c b/device/intr.c
index 01a382df..66bc3759 100644
--- a/device/intr.c
+++ b/device/intr.c
@@ -200,7 +200,7 @@ install_user_intr_handler (struct irqdev *dev, int id, unsigned long flags,
/* Don't allow overriding hardclock/kdintr etc */
if ((ivect[irq] != user_irq_handler) && (ivect[irq] != intnull))
{
- mach_print("You can't have this interrupt\n");
+ printf("You can't have this interrupt\n");
return D_ALREADY_OPEN;
}
@@ -208,7 +208,7 @@ install_user_intr_handler (struct irqdev *dev, int id, unsigned long flags,
{
if (!(old->flags & flags & SA_SHIRQ))
{
- mach_print ("Cannot share irq\n");
+ printf ("Cannot share irq\n");
return D_ALREADY_OPEN;
}
}