Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(armv8/vgic): fix comparison on pend_found #164

Closed
wants to merge 1 commit into from

Conversation

Clara-Huang
Copy link
Contributor

If a suitable pending interrupt is found, it should be replaced rather than checking if pend_found is greater than 1. Thus, I have changed > 1 to >= 1.
If my understanding is incorrect, I will close this PR. Thank you for your review!

@josecm josecm self-assigned this Aug 7, 2024
@josecm
Copy link
Member

josecm commented Aug 7, 2024

I'm not sure this fix is correct. The logic here is that if we found more than one pending interrupt in the list registers, we can replace one of them because, as suggested by the GIC spec, if there are any pending interrupts, at least one pending interrupt should be in the list. Do you agree @Clara-Huang @DavidMCerdeira ?

@josecm
Copy link
Member

josecm commented Aug 29, 2024

@Clara-Huang I'm closing this for now, unless there is any new arguments that can convince me my rationale is wrong.

@josecm josecm closed this Aug 29, 2024
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.

2 participants