diff options
Diffstat (limited to 'libhurd-mm/anonymous.c')
| -rw-r--r-- | libhurd-mm/anonymous.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libhurd-mm/anonymous.c b/libhurd-mm/anonymous.c index 345eb58..52ea295 100644 --- a/libhurd-mm/anonymous.c +++ b/libhurd-mm/anonymous.c @@ -531,9 +531,9 @@ advise (struct pager *pager, case pager_advice_normal: { struct exception_info info; - info.discarded = true; + info.discarded = anon->policy.discardable; info.type = cap_page; - /* XXX: What should be set info.access to? */ + /* XXX: What should we set info.access to? */ info.access = MAP_ACCESS_ALL; bool r = fault (pager, start, length / PAGESIZE, false, |