is_kernel_mapping
if (IS_ENABLED(CONFIG_64BIT) && !is_kernel_mapping(va))
} else if (is_kernel_mapping(start) || is_linear_mapping(start)) {
if (is_kernel_mapping(start)) {
WARN(!is_linear_mapping(x) && !is_kernel_mapping(x),