diff options
Diffstat (limited to 'tools/xenpaging/policy.h')
| -rw-r--r-- | tools/xenpaging/policy.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/xenpaging/policy.h b/tools/xenpaging/policy.h index 18a92569ca..458ed27ce5 100644 --- a/tools/xenpaging/policy.h +++ b/tools/xenpaging/policy.h @@ -32,6 +32,8 @@ int policy_init(xenpaging_t *paging); int policy_choose_victim(xenpaging_t *paging, xenpaging_victim_t *victim); void policy_notify_paged_out(unsigned long gfn); void policy_notify_paged_in(unsigned long gfn); +void policy_notify_paged_in_nomru(unsigned long gfn); +void policy_notify_dropped(unsigned long gfn); #endif // __XEN_PAGING_POLICY_H__ |