diff options
| author | Roland McGrath <roland@gnu.org> | 1999-11-18 06:22:34 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1999-11-18 06:22:34 +0000 |
| commit | 3229edd01fef7370af096c5971e3f402467a6148 (patch) | |
| tree | ee78167f5cd7f79fa392650f4cf2ca8036da15f2 /serverboot/exec.c | |
| parent | c28df115226d105434d69256ccc4f69771ee75bd (diff) | |
1999-11-16 Roland McGrath <roland@baalperazim.frob.com>
* default_pager.c (default_pager_initialize): Use MACH_PORT_VALID to
check old DMM port, rather than just checking for MACH_PORT_NULL.
Diffstat (limited to 'serverboot/exec.c')
0 files changed, 0 insertions, 0 deletions