[PATCH 3/4] remove lint code

* device/ds_routines.c [lint]: Remove ifdefs and associated code. --- device/ds_routines.c | 13 - 1 file changed, 13 deletions(-) diff --git a/device/ds_routines.c b/device/ds_routines.c index 12b0fa9..3cf5e20 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -1080,11

[PATCH 3/4] remove lint code

* device/dev_pager.c [lint]: Remove ifdefs and associated code. --- device/dev_pager.c | 12 1 file changed, 12 deletions(-) diff --git a/device/dev_pager.c b/device/dev_pager.c index a1b9eb9..63726b6 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -331,10 +331,6 @@ kern