From df7fa725b4ddf9b639c4dedc1bd3a0445b018361 Mon Sep 17 00:00:00 2001 From: Miles Bader Date: Sat, 8 Jul 1995 23:28:07 +0000 Subject: (struct dev): Add the pager_port_bucket field. Declare dev_stop_paging (). --- devio/dev.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/devio/dev.h b/devio/dev.h index 7244c91e..14ffc473 100644 --- a/devio/dev.h +++ b/devio/dev.h @@ -67,6 +67,8 @@ struct dev been allocated yet. Lock the lock in IO_STATE if you want to update this field. */ struct pager *pager; + /* The port_bucket for paging ports. */ + struct port_bucket *pager_port_bucket; /* The current owner of the open device. For terminals, this affects controlling terminal behavior (see term_become_ctty). For all objects @@ -127,6 +129,11 @@ error_t dev_write(struct dev *dev, DEV. Returns 0 or the error code if an error occurred. */ error_t dev_get_memory_object(struct dev *dev, memory_object_t *memobj); +/* Try to stop all paging activity on DEV, returning true if we were + successful. If NOSYNC is true, then we won't write back any (kernel) + cached pages to the device. */ +int dev_stop_paging (struct dev *dev, int nosync); + /* Try and write out any pending writes to DEV. If WAIT is true, will wait for any paging activity to cease. */ error_t dev_sync(struct dev *dev, int wait); -- cgit v1.2.3