Closed RA-Kooi closed 5 months ago
Fixes a situation where the vpt interrupt post handler might not be called because it got dispatched to the wrong vCPU.
Fixes a situation where the vpt interrupt post handler might not be called because it got dispatched to the wrong vCPU.