3d1563ee68
Fixes issue where t1_ counters may not be updated when doing dispatch profiling, causing a divide by 0. Change-Id: I91060ac3f9fd2183d277e6e7cd810398a453a87f