HomeFreeBSD

Define IPI_IRQ_START and IPI_IRQ_END.

Description

Define IPI_IRQ_START and IPI_IRQ_END.

Details

Provenance
cognetAuthored on Jan 9 2013, 1:54 AM
Parents
rG00100b0eec37: Use get_pcpu() instead of using pcpup, as it's wrong for SMP.
Branches
Unknown
Tags
Unknown

Event Timeline