arch_remove_linear_mapping
arch_remove_linear_mapping(start, size);
arch_remove_linear_mapping(start, size);
arch_remove_linear_mapping(PFN_PHYS(start_pfn), size);
void arch_remove_linear_mapping(u64 start, u64 size);