arm64: Fix build of gicv5 driver without SMP
Fixes: c84261da6f6c ("arm64: Add an initial GICv5 driver")
Description
Description
Details
Details
- Provenance
jhb Authored on Jun 24 2026, 12:56 AM - Parents
- rGf6b37f47c099: ntsync.4: add the man page
- Branches
- Unknown
- Tags