HomeFreeBSD

Fix r304026 so that it builds for gcc.

Description

Fix r304026 so that it builds for gcc.

Reported by: np
Tested by: np
MFC after: 1 month

Details

Provenance
rmacklemAuthored on
Parents
rS304193: Fix yet another place in the kernel that assumes the BSP is CPU 0.
Branches
Unknown
Tags
Unknown