opened
connojd
username_0
We need to change
```cpp
if ((pending_debug_exceptions & 0xFFFFFFFFFFFF2FF0) != 0)
```
to 
```cpp
if ((pending_debug_exceptions & 0xFFFFFFFFFFFEAFF0) != 0)
```
Section 26.3.1.5 (first item under Pending debug exceptions) states the reserved bits are 63:17, 15, 13, and 11:4.
Change mask in check_guest_pending_debug_exceptions_reserved
issue
created
connojd
username_0
Fixed in #343
comment
closed
connojd
username_0
issue