text: // Copyright 2017 The Fuchsia Authors
  //
  // Use of this source code is governed by a MIT-style
  // license that can be found in the LICENSE file or at
  // https://opensource.org/licenses/MIT
  
  #ifndef ZIRCON_KERNEL_OBJECT_INCLUDE_OBJECT_TIMER_DISPATCHER_H_
  #define ZIRCON_KERNEL_OBJECT_INCLUDE_OBJECT_TIMER_DISPATCHER_H_
  
  #include <sys/types.h>
  #include <zircon/rights.h>
  #include <zircon/types.h>
  
  #include <kernel/dpc.h>
  #include <kernel/timer.h>
  #include <object/dispatcher.h>
  #include <object/handle.h>
  
  class TimerDispatcher final : public SoloDispatcher<TimerDispatcher, ZX_DEFAULT_TIMER_RIGHTS> {
   public:
    static zx_status_t Create(uint32_t options, KernelHandle<TimerDispatcher>* handle,
                              zx_rights_t* rights);
  
    ~TimerDispatcher() final;
    zx_obj_type_t get_type() const final { return ZX_OBJ_TYPE_TIMER; }
    void on_zero_handles() final;
  
    // Timer specific ops.
    zx_status_t Set(zx_time_t deadline, zx_duration_t slack_amount);
    zx_status_t Cancel();
  
    // Timer callback.
    void OnTimerFired();
  
    void GetInfo(zx_info_timer_t* info) const;
  
   private:
    explicit TimerDispatcher(uint32_t options);
    void SetTimerLocked(bool cancel_first) TA_REQ(get_lock());
    bool CancelTimerLocked() TA_REQ(get_lock());
  
    const uint32_t options_;
    Dpc timer_dpc_;
    zx_time_t deadline_ TA_GUARDED(get_lock());
    zx_duration_t slack_amount_ TA_GUARDED(get_lock());
    bool cancel_pending_ TA_GUARDED(get_lock());
    Timer timer_ TA_GUARDED(get_lock());
  };
  
  #endif  // ZIRCON_KERNEL_OBJECT_INCLUDE_OBJECT_TIMER_DISPATCHER_H_
  