Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It might have worked in this case since PT_PRESENT_MASK is 1, but let's express this correctly. Signed-off-by: Adrian Bunk <bunk@stusta.de> Signed-off-by: Avi Kivity <avi@qumranet.com>
- Loading branch information