HomeFreeBSD

Fix kernel build with parallel make.

Description

Fix kernel build with parallel make.

Approved by: jhb

Details

Provenance
zeisingAuthored on
Parents
rS299124: Fix GICv3 build after r299090
Branches
Unknown
Tags
Unknown