Page MenuHomeFreeBSD

Read the CPUID from the gic
ClosedPublic

Authored by andrew on Mar 22 2016, 6:00 PM.
Tags
None
Referenced Files
Unknown Object (File)
Tue, Mar 19, 11:28 PM
Unknown Object (File)
Jan 1 2024, 10:45 AM
Unknown Object (File)
Dec 27 2023, 10:42 AM
Unknown Object (File)
Dec 24 2023, 12:15 AM
Unknown Object (File)
Dec 20 2023, 3:20 AM
Unknown Object (File)
Nov 19 2023, 12:45 PM
Unknown Object (File)
Nov 13 2023, 7:50 AM
Unknown Object (File)
Nov 9 2023, 3:03 PM
Subscribers

Details

Summary

On some hardware we need to read the CPU interface ID. This is because
not all SoCs boot from CPU0 as the GIC sees the world.

To work around this it we can ask the ID by reading any of
GICD_ITARGETSR0 to GICD_ITARGETSR7. These are defined to return the
mask for the current CPU.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

andrew retitled this revision from to Read the CPUID from the gic.
andrew updated this object.
andrew edited the test plan for this revision. (Show Details)
andrew added a reviewer: ARM.
andrew added a subscriber: emaste.
This revision was automatically updated to reflect the committed changes.