new pend_time() and unschedule_if_not_pending() methods, the latter not fully implemented
new pend_time() and unschedule_if_not_pending() methods, the latter not fully implemented

wtsi-hgi/vr-pipe,wtsi-hgi/vr-pipe