split_kernel_leaf_mapping
extern int split_kernel_leaf_mapping(unsigned long start, unsigned long end);
ret = split_kernel_leaf_mapping(start, start + size);