if (REGION_NUMBER(offset) == 5) {
char byte;
- if (__get_user(byte, (char *)offset) == 0)
+ if (__get_user(byte, (char *)offset) == 0)
return (void *)offset;
else
return NULL;
pfn = offset >> PAGE_SHIFT;
- if (!pfn_valid(pfn)) {
- printk(KERN_INFO
- "crash memory driver: invalid pfn: %lx )\n", pfn);
- return NULL;
- }
+ if (!pfn_valid(pfn)) {
+ printk(KERN_INFO
+ "crash memory driver: invalid pfn: %lx )\n", pfn);
+ return NULL;
+ }
page = pfn_to_page(pfn);