diff options
Diffstat (limited to 'tools/xenpaging')
| -rw-r--r-- | tools/xenpaging/xenpaging.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/xenpaging/xenpaging.c b/tools/xenpaging/xenpaging.c index 5edf8d3c8b..7d5a4b6d25 100644 --- a/tools/xenpaging/xenpaging.c +++ b/tools/xenpaging/xenpaging.c @@ -744,7 +744,6 @@ int main(int argc, char *argv[]) !!(req.flags & MEM_EVENT_FLAG_EVICT_FAIL) ); /* Tell Xen to resume the vcpu */ - /* XXX: Maybe just check if the vcpu was paused? */ if ( req.flags & MEM_EVENT_FLAG_VCPU_PAUSED ) { /* Prepare the response */ |