Age | Commit message (Collapse) | Author | |
---|---|---|---|
1995-10-04 | (pager_write_page, pager_read_page): Get rid of debugging noise. | Miles Bader | |
1995-07-22 | (dev_get_memory_object): A new pager now comes with 1 ref, so we allocate a | Miles Bader | |
ref ourselves when we're using an old one, and once we've created the send right, remove a reference. | |||
1995-07-08 | (dev_stop_paging): New function. | Miles Bader | |
(pager_dropweak): New function. (pager_port_type): Deleted var. (pager_port_bucket, pager_port_class): New vars. (dev_get_memory_object): Moved here from dev.c. Also, call init_dev_pager if necessary. (service_paging_requests): New function. (init_dev_pager): New function. | |||
1995-04-09 | Read or write partial pages at the end of the device. | Miles Bader | |
1995-04-05 | Initial revision | Miles Bader | |