Andrew a1d094e64e Minor race fix and small cleanup to dispmanx_gfx
It's unlikely it was causing issues, but another race existed in the
dispmanx driver, it incremented the pending page count after sending the
update request.

If a context switch happened between sending the update and incrementing
the page count, the vsync callback would decrement it from 0 and cause
the uint to overflow.

Throw in a minor C89 fix and some whitespace fixups too.
2017-04-29 17:09:07 -07:00
..
2017-04-28 21:03:04 +02:00
2017-04-28 21:03:04 +02:00
2017-04-29 19:22:44 +02:00
2017-04-21 21:18:28 +02:00
2017-04-29 17:02:35 +02:00
2017-04-28 22:59:13 +02:00
2017-01-22 13:40:32 +01:00
2017-01-22 13:40:32 +01:00
2017-01-22 13:40:32 +01:00
2017-04-29 18:33:50 +02:00
2017-02-26 21:46:19 +01:00
2017-01-22 13:40:32 +01:00
2017-04-28 12:05:17 +02:00
2017-04-20 09:15:56 +02:00
2017-01-22 13:40:32 +01:00
2017-01-22 13:40:32 +01:00
2017-01-22 13:40:32 +01:00