Hi All,
On 10/10/2025 07:37, Damien Zammit wrote:
diff --git a/device/intr.h b/device/intr.h
index cd3e0bce..2988e49c 100644
--- a/device/intr.h
+++ b/device/intr.h
@@ -53,6 +53,7 @@ extern queue_head_t main_intr_queue;
extern int install_user_intr_handler (struct irqdev *dev, int id, unsigned
long flags, user_intr_t *e);
extern int deliver_user_intr (struct irqdev *dev, int id, user_intr_t *e);
extern user_intr_t *insert_intr_entry (struct irqdev *dev, int id, ipc_port_t
receive_port);
+extern io_return_t irqgetstat(dev_t dev, dev_flavor_t flavor, dev_status_t
data, mach_msg_type_number_t *count);
There is an inconsistency with respect to 'irqgetstat()' such that when
building with MACH_XEN compilation fails:
../i386/i386at/conf.c:162:25: error: ‘irqgetstat’ undeclared here (not
in a function); did you mean ‘kbdgetstat’?
162 | nulldev_write,irqgetstat, nulldev_setstat, nomap,
The function is not declared within device/intr.h when MACH_XEN is
defined but is implemented in device/intr.c regardless. I've no
knowledge of what MACH_XEN supports so haven't attempted to fix it publicly.
Regards,
Mike.
