kernel_physical_mapping_change
kernel_physical_mapping_change(__pa(vaddr & pmask),
unsigned long kernel_physical_mapping_change(unsigned long start,