HomeFreeBSD

Also enable IPIs on 32-bit arm

Description

Also enable IPIs on 32-bit arm

This was missed in 2420f6a

Reported by: tuexen, imp

(cherry picked from commit 0ec205197b56b9257cf0fdc1a5b268fef3e3f2dc)

Details

Provenance
andrewAuthored on May 2 2021, 10:05 AM
Parents
rGfcfd3c7909ba: Enable IPIs on CPU 0 on arm and arm64
Branches
Unknown
Tags
Unknown