HomeFreeBSD

Free up the IPI slot used by IPI_STOP_HARD.

Description

Free up the IPI slot used by IPI_STOP_HARD.

Change the numeric value of IPI_STOP_HARD so it doesn't occupy a valid IPI
slot. This can be done because IPI_STOP_HARD is actually delivered via NMI.

Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D1983

Details

Committed
neelMar 1 2015, 2:31 AM
Differential Revision
D1983: Free up the IPI slot used by IPI_STOP_HARD.
Parents
rS279467: MFC r279312:
Branches
Unknown
Tags
Unknown

Event Timeline