aboutsummaryrefslogtreecommitdiff
path: root/xen/xen.c
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2023-01-28 01:02:25 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-01-28 08:32:23 +0100
commit0f0be7f75153923afb3241b07b89773c97f92022 (patch)
tree9a928ea3038f77ff75790a9a6d1974e43fc12419 /xen/xen.c
parente6fec85fbd4ef5b54353c4b4eda2b4f2b5484a26 (diff)
downloadgnumach-0f0be7f75153923afb3241b07b89773c97f92022.tar.gz
gnumach-0f0be7f75153923afb3241b07b89773c97f92022.tar.bz2
gnumach-0f0be7f75153923afb3241b07b89773c97f92022.zip
Fix compiler warnings
* i386/xen/xen.c: Move failsafe_callback_regs to header file and include xen/xen.h * xen/block.c: `name` must be const. Fix format string. * xen/console.c: Move hyp_console_write and inline it in the header. Use static qualifier whenever possible. Cast to interrupt_handler_fn. * xen/console.h: Define hyp_console_write as inline function. * xen/evt.c: Avoid old style declaration and use interrupt_handler_fn. * xen/evt.h: Use interrupt_handler_fn. * xen/net.c: Use static. Use correct format and make `name` const. * xen/time.c: Avoid old style declarations by adding void to the parameter list. * xen/xen.c: Use static. Use interrupt_handler_fn. Delete `_hyp_halt` and `_hyp_todo`. * xen/xen.h: Define hyp_failsafe_c_callback here to make sure we have the prototype. Message-Id: <Y9S6cTHziR/edeFu@jupiter.tail36e24.ts.net>
Diffstat (limited to 'xen/xen.c')
-rw-r--r--xen/xen.c15
1 files changed, 2 insertions, 13 deletions
diff --git a/xen/xen.c b/xen/xen.c
index 28953512..6d424474 100644
--- a/xen/xen.c
+++ b/xen/xen.c
@@ -30,7 +30,7 @@
#include "xen.h"
#include "evt.h"
-void hyp_debug()
+static void hyp_debug(void)
{
panic("debug");
}
@@ -40,7 +40,7 @@ void hyp_init(void)
hyp_grant_init();
hyp_store_init();
evtchn_port_t port = hyp_event_channel_bind_virq(VIRQ_DEBUG, 0);
- hyp_evt_handler(port, hyp_debug, 0, SPL7);
+ hyp_evt_handler(port, (interrupt_handler_fn)hyp_debug, 0, SPL7);
}
void hyp_dev_init(void)
@@ -50,17 +50,6 @@ void hyp_dev_init(void)
hyp_net_init();
}
-void _hyp_halt(void)
-{
- hyp_halt();
-}
-
-void _hyp_todo(unsigned long from)
-{
- printf("TODO: at %lx\n",from);
- hyp_halt();
-}
-
extern int int_mask[];
void hyp_idle(void)
{