diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-07-05 11:27:58 +0100 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-07-05 11:27:58 +0100 |
commit | 79700a5ce7f1aec65cf219fd53c9532fdd1d2188 (patch) | |
tree | b78a2a29817aa65269f822a8deea407c9a7bb475 /extras/mini-os/time.c | |
parent | c5f5756de82e6b64d956a85d7b5a8e629b623083 (diff) | |
download | xen-79700a5ce7f1aec65cf219fd53c9532fdd1d2188.tar.gz xen-79700a5ce7f1aec65cf219fd53c9532fdd1d2188.tar.bz2 xen-79700a5ce7f1aec65cf219fd53c9532fdd1d2188.zip |
[MINIOS]Events handling cleaned up. The interface extended to provide
void* pointer to handlers.
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/time.c')
-rw-r--r-- | extras/mini-os/time.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/mini-os/time.c b/extras/mini-os/time.c index 04ea43dc51..1df4a26036 100644 --- a/extras/mini-os/time.c +++ b/extras/mini-os/time.c @@ -215,7 +215,7 @@ void block_domain(u32 millisecs) /* * Just a dummy */ -static void timer_handler(int ev, struct pt_regs *regs) +static void timer_handler(int ev, struct pt_regs *regs, void *ign) { static int i; @@ -233,5 +233,5 @@ static void timer_handler(int ev, struct pt_regs *regs) void init_time(void) { printk("Initialising timer interface\n"); - bind_virq(VIRQ_TIMER, &timer_handler); + bind_virq(VIRQ_TIMER, &timer_handler, NULL); } |