Instead of fixing the error perfectly, I simply copied the 'mali_linux_trace.h' into gator-driver folder and modified the gator-driver source code since the 'mali_linux_trace.h' is linked when building.