GL:  Mark unused 'device' parameter for flush