diff options
| -rw-r--r-- | console/pager.c | 1 | ||||
| -rw-r--r-- | ext2fs/pager.c | 2 | ||||
| -rw-r--r-- | fatfs/pager.c | 2 | ||||
| -rw-r--r-- | storeio/pager.c | 1 |
4 files changed, 0 insertions, 6 deletions
diff --git a/console/pager.c b/console/pager.c index 818e49d7..05074a75 100644 --- a/console/pager.c +++ b/console/pager.c @@ -125,7 +125,6 @@ pager_dropweak (struct user_pager_info *upi) void user_pager_init (void) { - pthread_t thread; error_t err; /* Create the pager bucket, and start to serve paging requests. */ diff --git a/ext2fs/pager.c b/ext2fs/pager.c index 3e080f87..9df7e0b1 100644 --- a/ext2fs/pager.c +++ b/ext2fs/pager.c @@ -1200,8 +1200,6 @@ disk_cache_block_is_ref (block_t block) void create_disk_pager (void) { - pthread_t thread; - pthread_attr_t attr; error_t err; /* The disk pager. */ diff --git a/fatfs/pager.c b/fatfs/pager.c index d255f290..84376bd7 100644 --- a/fatfs/pager.c +++ b/fatfs/pager.c @@ -764,8 +764,6 @@ pager_dropweak (struct user_pager_info *p __attribute__ ((unused))) void create_fat_pager (void) { - pthread_t thread; - pthread_attr_t attr; error_t err; /* The disk pager. */ diff --git a/storeio/pager.c b/storeio/pager.c index f8f59cdf..54b17142 100644 --- a/storeio/pager.c +++ b/storeio/pager.c @@ -155,7 +155,6 @@ init_dev_paging () pthread_mutex_lock (&pager_global_lock); if (pager_port_bucket == NULL) { - pthread_t thread; error_t err; pager_port_bucket = ports_create_bucket (); |