Skip to content

Add 1 to number of counters due to PMCCNTR being always on#106

Merged
lsf37 merged 1 commit intoseL4:masterfrom
JDuchniewicz:fix_arm_pmcr
Jan 12, 2026
Merged

Add 1 to number of counters due to PMCCNTR being always on#106
lsf37 merged 1 commit intoseL4:masterfrom
JDuchniewicz:fix_arm_pmcr

Conversation

@JDuchniewicz
Copy link
Contributor

@JDuchniewicz JDuchniewicz commented Dec 10, 2025

Fixes the issue #64 which was uncovered when debugging RPi4B in AArch32 mode where PMCR reports zero meaning there are no dedicated event counters - but PMCCTR is always present. Thus adding 1 to this register's return value.

@lsf37
Copy link
Member

lsf37 commented Dec 10, 2025

Please add what you have in the PR description to the commit message -- otherwise this is going to be an extremely mysterious change if someone looks in 10 years. The key bit of info is not that PMCCNTR is on, but that PMCCNTR is always present and we are now reporting the number of event counters including PMCCNTR.

@Indanz Indanz added hw-build do all sel4test hardware builds on this PR and removed hw-build do all sel4test hardware builds on this PR labels Jan 12, 2026
@lsf37 lsf37 force-pushed the fix_arm_pmcr branch 3 times, most recently from e5f9e75 to 3e207f0 Compare January 12, 2026 03:24
@lsf37
Copy link
Member

lsf37 commented Jan 12, 2026

Apologies for the force pushes, I was trying to get the PR checks to run. I have tweaked the commit message wording very slightly to get that to happen.

PMCCNTR is always present, even when PMCR reports 0 as the number of
event counters. We therefore always add +1 to the reported number of
counters.

Signed-off-by: Jakub Duchniewicz <[email protected]>
Signed-off-by: Gerwin Klein <[email protected]>
@lsf37
Copy link
Member

lsf37 commented Jan 12, 2026

Which reveals that the commit title was too long :-) Have fixed that now.

@lsf37 lsf37 merged commit b0157bd into seL4:master Jan 12, 2026
24 checks passed
@Indanz
Copy link
Contributor

Indanz commented Jan 12, 2026

Apologies for the force pushes, I was trying to get the PR checks to run. I have tweaked the commit message wording very slightly to get that to happen.

I tried doing the same by adding and removing the hw label. It's silly that there isn't just a CI rerun button somewhere. You can do it when there are failed tests, but not when it hangs in limbo waiting for tests to finish for months.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants