Skip to content

fix(vstopei): fix guest IntFile selection when writing to vsClaim - #49

Merged
upsetgrass merged 1 commit into
mainfrom
fix-vsclaim
Jul 29, 2026
Merged

upsetgrass merged 1 commit into
mainfrom
fix-vsclaim

Conversation

@sinceforYy

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR fixes VS guest interrupt-file selection during vsClaim handling by ensuring the claim signal only applies to the currently selected guest (based on vgein), preventing unintended claiming/clearing in other guest IntFiles.

Changes:

  • Remove vgein from the per-IntFile CSR input bundle and derive guest selection externally.
  • Gate IntFile.fromCSR.claim for VS privilege so only the selected guest IntFile receives the claim.
  • Minor whitespace/formatting cleanup.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@@ -410,11 +409,8 @@ class IMSIC(

val intFile = Module(new IntFile)
// Preventing overflow

@zhaohong1988 zhaohong1988 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good to fix the issue

@upsetgrass
upsetgrass merged commit b24fa03 into main Jul 29, 2026
3 checks passed
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.

4 participants