What follows is a small cleanup of the device pager. The majority of casts are done without whitespace, so in patches 2 and 4 I modified the rest to follow this rule. I'm guessing that lint is not used anymore, so in patch 3 I suggest the removal of the associated ifdefs and code.
[PATCH 1/4] remove register qualifiers [PATCH 2/4] coding style changes [PATCH 3/4] remove lint code [PATCH 4/4] coding style changes