4 ms·

This is very good news although now I feel I've just wasted a day speeding up a home-grown software video player for the Pi.