diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-06 10:39:53 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-06 10:39:53 +0100 |
| commit | a9eb3e9765a21f9903705e2b9f46694529af8155 (patch) | |
| tree | 08d09d785e86c652ab6810aad105c90be188fdfa /console | |
| parent | 7dd0f755f4ac29e6c10085c16e18dd97d92ae5e7 (diff) | |
Remove unused variables
* console/pager.c (user_pager_init): Remove unused variables.
* ext2fs/pager.c (create_disk_pager): Likewise.
* fatfs/pager.c (create_fat_pager): Likewise.
* storeio/pager.c (init_dev_paging): Likewise.
Diffstat (limited to 'console')
| -rw-r--r-- | console/pager.c | 1 |
1 files changed, 0 insertions, 1 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. */ |