Node not found: drivers/staging/mali/DX910-SW-99002-r5p1-01rel0/driver/src/devicedrv/mali/linux/+code=mutex_init (xilinx-v2016.4)