Read the CPUID from the gic
ClosedPublic
Actions

Authored by andrew on Mar 22 2016, 6:00 PM.

Tags

None

Referenced Files

	Unknown Object (File)
	Tue, May 5, 2:42 AM

	Unknown Object (File)
	Sun, May 3, 11:21 AM

	Unknown Object (File)
	Tue, Apr 28, 7:23 PM

	Unknown Object (File)
	Tue, Apr 28, 7:16 PM

	Unknown Object (File)
	Sat, Apr 25, 6:04 PM

	Unknown Object (File)
	Thu, Apr 23, 4:52 AM

	Unknown Object (File)
	Thu, Apr 23, 12:47 AM

	Unknown Object (File)
	Tue, Apr 21, 8:27 PM

View All Files

Subscribers

emaste

imp

Details

Reviewers

None

Group Reviewers

ARM

Commits

rS297390: Read the CPU ID for the current CPU from the GIC. The GIC may have a

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 updated this revision to Diff 14524.Mar 22 2016, 6:00 PM

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.

Herald added a subscriber: imp. · View Herald TranscriptMar 22 2016, 6:00 PM

Closed by commit rS297390: Read the CPU ID for the current CPU from the GIC. The GIC may have a (authored by andrew). · Explain WhyMar 29 2016, 1:51 PM

This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

Path

Size

head/

sys/

arm/

gic.c

24 lines

arm64/

gic.c

24 lines

Diff 14713

View Options

head/sys/arm/arm/gic.c