Changeset View
Changeset View
Standalone View
Standalone View
sys/xen/xen_intr.h
Show All 32 Lines | |||||
#ifndef _XEN_INTR_H_ | #ifndef _XEN_INTR_H_ | ||||
#define _XEN_INTR_H_ | #define _XEN_INTR_H_ | ||||
#include <xen/interface/event_channel.h> | #include <xen/interface/event_channel.h> | ||||
/** Registered Xen interrupt callback handle. */ | /** Registered Xen interrupt callback handle. */ | ||||
typedef void * xen_intr_handle_t; | typedef void * xen_intr_handle_t; | ||||
void xen_intr_handle_upcall(struct trapframe *trap_frame); | /* | ||||
* NOTE: This function is a critical section and must be executed with | |||||
* preemption disabled to remain on the correct vCPU. Before/after this | |||||
* function is called, critical_enter()/critical_exit() must be invoked. | |||||
*/ | |||||
int xen_intr_handle_upcall(struct trapframe *trap_frame); | |||||
ehem_freebsd_m5p.com: This really describes how `driver_filter_t` functions are, I suspect this comment is… | |||||
/** | /** | ||||
* Associate an already allocated local event channel port an interrupt | * Associate an already allocated local event channel port an interrupt | ||||
* handler. | * handler. | ||||
* | * | ||||
* \param dev The device making this bind request. | * \param dev The device making this bind request. | ||||
* \param local_port The event channel to bind. | * \param local_port The event channel to bind. | ||||
* \param filter An interrupt filter handler. Specify NULL | * \param filter An interrupt filter handler. Specify NULL | ||||
* to always dispatch to the ithread handler. | * to always dispatch to the ithread handler. | ||||
▲ Show 20 Lines • Show All 190 Lines • Show Last 20 Lines |
This really describes how driver_filter_t functions are, I suspect this comment is unnecessary.