Searched refs:xen_ipi_init (Results 1 - 3 of 3) sorted by relevance

/netbsd-current/sys/arch/xen/include/
H A Dintr.h81 void xen_ipi_init(void);
85 #define xen_ipi_init(_1) ((void) 0) /* nothing */ macro
/netbsd-current/sys/arch/xen/x86/
H A Dxen_ipi.c122 xen_ipi_init(void) function
H A Dcpu.c449 xen_ipi_init();
732 xen_ipi_init();

Completed in 104 milliseconds