dump_pfn_to_bitnum
if ((bitnum = dump_pfn_to_bitnum(pfn)) != (pgcnt_t)-1) {
if ((bitnum = dump_pfn_to_bitnum(pfn)) != (pgcnt_t)-1) {
bitnum = dump_pfn_to_bitnum(pfn);
bitnum = dump_pfn_to_bitnum(pfn);