From f855f752599ecdddb47cf9f80e1f16bb28822455 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Tue, 6 Dec 2005 16:05:31 +0100 Subject: The Mini-OS build once again broke, this time since vcpu_data became vcpu_info and that XEN_VER in the __xen_guest section changed slightly. I've modified the mini-os so that it at least compiles and boots again. Signed-off-by: Simon Kagstrom --- extras/mini-os/events.c | 1 + 1 file changed, 1 insertion(+) (limited to 'extras/mini-os/events.c') diff --git a/extras/mini-os/events.c b/extras/mini-os/events.c index 5263c8757e..adf0afd13e 100644 --- a/extras/mini-os/events.c +++ b/extras/mini-os/events.c @@ -77,6 +77,7 @@ int bind_virq( u32 virq, void (*handler)(int, struct pt_regs *) ) /* Try to bind the virq to a port */ op.cmd = EVTCHNOP_bind_virq; op.u.bind_virq.virq = virq; + op.u.bind_virq.vcpu = smp_processor_id(); if ( HYPERVISOR_event_channel_op(&op) != 0 ) { -- cgit v1.2.3