diag10_range
diag10_range(PFN_DOWN(crashk_res.start),
diag10_range(PFN_DOWN(crash_base), PFN_DOWN(crash_size));
diag10_range(virt_to_pfn((void *)addr), 1);