HomeFreeBSD

arm_gic_map is a mask not the CPUs ID, there is no need to shift it.

Description

arm_gic_map is a mask not the CPUs ID, there is no need to shift it.

Pointy-hat to: andrew
Obtained from: ABT Systems Ltd
Sponsored by: The FreeBSD Foundation

Details

Provenance
andrewAuthored on
Parents
rS301061: sfxge(4): regenerate MCDI headers from firmwaresrc .yml
Branches
Unknown
Tags
Unknown