NetBSD Cross-Reference & Source Code Search Engine

Home	Sort by: relevance \| last modified time \| path

Full Search

in project(s):

Definition

Symbol

File Path

History

| | Help

Searched defs:xen_ipi_ddb (Results 1 - 2 of 2) sorted by relevancy

/src/sys/arch/xen/x86/
xen_ipi.c	`65 static void xen_ipi_ddb(struct cpu_info , struct intrframe ); 81 xen_ipi_ddb, 156 XEN_IPI_DDB \| XEN_IPI_SYNCH_FPU \| 246 xen_ipi_ddb(struct cpu_info ci, struct intrframe intrf) function in typeref:typename:void`
xen_ipi.c	`65 static void xen_ipi_ddb(struct cpu_info , struct intrframe ); 81 xen_ipi_ddb, 156 XEN_IPI_DDB \| XEN_IPI_SYNCH_FPU \| 246 xen_ipi_ddb(struct cpu_info ci, struct intrframe intrf) function in typeref:typename:void`

Completed in 21 milliseconds

OpenGrok