HomeFreeBSD

arm: gic: Change GIC_DEBUG_SPURIOUS to TUNABLE

Description

arm: gic: Change GIC_DEBUG_SPURIOUS to TUNABLE

On armv6 default to 1 if INVARIANTS is set
On arm64 always default to 0

Discussed with: andrew, ian, mmel

Details

Provenance
manuAuthored on
Parents
rS320605: MFC r309017 (partially):
Branches
Unknown
Tags
Unknown