Symbol: is_kernel_mapping