segoff_t
segoff_t *undi_irq_chain_to = &_undi_irq_chain_to;
segoff_t *pxenv_undi_entrypointsp = &_pxenv_undi_entrypointsp;
int install_undi_irq_handler ( irq_t irq, segoff_t entrypointsp ) {
segoff_t undi_irq_handler_segoff = SEGOFF(undi_irq_handler);
segoff_t undi_irq_handler_segoff = SEGOFF(undi_irq_handler);
int install_irq_handler ( irq_t irq, segoff_t *handler,
segoff_t *previous_handler ) {
segoff_t *irq_vector = IRQ_VECTOR ( irq );
int remove_irq_handler ( irq_t irq, segoff_t *handler,
segoff_t *previous_handler ) {
segoff_t *irq_vector = IRQ_VECTOR ( irq );
#define INT_VECTOR(x) ( (segoff_t*) phys_to_virt( 4 * (x) ) )
extern segoff_t _undi_irq_chain_to;
extern segoff_t _pxenv_undi_entrypointsp;
int install_irq_handler ( irq_t irq, segoff_t *handler,
segoff_t *previous_handler );
int remove_irq_handler ( irq_t irq, segoff_t *handler,
segoff_t *previous_handler );
int install_undi_irq_handler ( irq_t irq, segoff_t );
typedef segoff_t SEGOFF16_t;