1.1 --- a/extras/mini-os/include/x86/x86_32/hypercall-x86_32.h	Mon Nov 27 10:14:45 2006 +0000
     1.2 +++ b/extras/mini-os/include/x86/x86_32/hypercall-x86_32.h	Mon Nov 27 10:23:19 2006 +0000
     1.3 @@ -167,7 +167,7 @@ HYPERVISOR_fpu_taskswitch(
     1.4  
     1.5  static inline int
     1.6  HYPERVISOR_sched_op(
     1.7 -	int cmd, unsigned long arg)
     1.8 +	int cmd, void *arg)
     1.9  {
    1.10  	return _hypercall2(int, sched_op, cmd, arg);
    1.11  }

     2.1 --- a/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h	Mon Nov 27 10:14:45 2006 +0000
     2.2 +++ b/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h	Mon Nov 27 10:23:19 2006 +0000
     2.3 @@ -171,7 +171,7 @@ HYPERVISOR_fpu_taskswitch(
     2.4  
     2.5  static inline int
     2.6  HYPERVISOR_sched_op(
     2.7 -	int cmd, unsigned long arg)
     2.8 +	int cmd, void *arg)
     2.9  {
    2.10  	return _hypercall2(int, sched_op, cmd, arg);
    2.11  }

     3.1 --- a/extras/mini-os/kernel.c	Mon Nov 27 10:14:45 2006 +0000
     3.2 +++ b/extras/mini-os/kernel.c	Mon Nov 27 10:23:19 2006 +0000
     3.3 @@ -159,5 +159,9 @@ void start_kernel(start_info_t *si)
     3.4  void do_exit(void)
     3.5  {
     3.6      printk("Do_exit called!\n");
     3.7 -    for ( ;; ) HYPERVISOR_sched_op(SCHEDOP_shutdown, SHUTDOWN_crash);
     3.8 +    for( ;; )
     3.9 +    {
    3.10 +        struct sched_shutdown sched_shutdown = { .reason = SHUTDOWN_crash };
    3.11 +        HYPERVISOR_sched_op(SCHEDOP_shutdown, &sched_shutdown);
    3.12 +    }
    3.13  }