diff options
Diffstat (limited to 'tools/xenpaging/policy_default.c')
-rw-r--r-- | tools/xenpaging/policy_default.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/xenpaging/policy_default.c b/tools/xenpaging/policy_default.c index 596afc7d9a..7563720092 100644 --- a/tools/xenpaging/policy_default.c +++ b/tools/xenpaging/policy_default.c @@ -90,6 +90,7 @@ unsigned long policy_choose_victim(struct xenpaging *paging) /* Could not nominate any gfn */ if ( wrap == current_gfn ) { + paging->use_poll_timeout = 1; /* Count wrap arounds */ unconsumed_cleared++; /* Force retry every few seconds (depends on poll() timeout) */ |