Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

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

/src/sys/arch/xen/include/
intr.h	81 void xen_ipi_init(void); 85 #define xen_ipi_init(_1) ((void) 0) /* nothing */ macro
/src/sys/arch/xen/x86/
xen_ipi.c	122 xen_ipi_init(void) function in typeref:typename:void
cpu.c	449 xen_ipi_init(); 732 xen_ipi_init();

Completed in 17 milliseconds

Indexes created Wed Oct 01 15:09:59 GMT 2025