1 |
/* pager.c - The pager for the display component of a virtual console. |
/* pager.c - The pager for the display component of a virtual console. |
2 |
Copyright (C) 2002 Free Software Foundation, Inc. |
Copyright (C) 2002, 2005 Free Software Foundation, Inc. |
3 |
Written by Marcus Brinkmann. |
Written by Marcus Brinkmann. |
4 |
|
|
5 |
This file is part of the GNU Hurd. |
This file is part of the GNU Hurd. |
94 |
} |
} |
95 |
|
|
96 |
|
|
97 |
|
void |
98 |
|
pager_notify_evict (struct user_pager_info *pager, |
99 |
|
vm_offset_t page) |
100 |
|
{ |
101 |
|
assert (!"unrequested notification on eviction"); |
102 |
|
} |
103 |
|
|
104 |
|
|
105 |
/* Tell how big the file is. */ |
/* Tell how big the file is. */ |
106 |
error_t |
error_t |
107 |
pager_report_extent (struct user_pager_info *upi, |
pager_report_extent (struct user_pager_info *upi, |
167 |
|
|
168 |
/* XXX Are the values 1 and MEMORY_OBJECT_COPY_DELAY correct? */ |
/* XXX Are the values 1 and MEMORY_OBJECT_COPY_DELAY correct? */ |
169 |
user_pager->pager = pager_create (upi, pager_bucket, |
user_pager->pager = pager_create (upi, pager_bucket, |
170 |
1, MEMORY_OBJECT_COPY_DELAY); |
1, MEMORY_OBJECT_COPY_DELAY, 0); |
171 |
if (!user_pager->pager) |
if (!user_pager->pager) |
172 |
{ |
{ |
173 |
free (upi); |
free (upi); |