diff options
author | Flavio Cruz <flaviocruz@gmail.com> | 2023-01-28 01:02:25 -0500 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-01-28 08:32:23 +0100 |
commit | 0f0be7f75153923afb3241b07b89773c97f92022 (patch) | |
tree | 9a928ea3038f77ff75790a9a6d1974e43fc12419 /xen/xen.c | |
parent | e6fec85fbd4ef5b54353c4b4eda2b4f2b5484a26 (diff) | |
download | gnumach-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.c | 15 |
1 files changed, 2 insertions, 13 deletions
@@ -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) { |