blob: 36f864ce1a73e38a8ea278d87de02a3ee02dd543 [file] [log] [blame]
kernel_ptr_param.rs:4:40: error: Compute kernel root() cannot have parameter 'i' of pointer type: 'int *'