kernel_mapping_pa_to_va
#define kernel_mapping_pa_to_va(y) ({ \
#define kernel_mapping_pa_to_va(y) ((void *)((unsigned long)(y) + kernel_map.va_kernel_pa_offset))