arch_timer_context
static void timer_set_ctl(struct arch_timer_context *ctxt, u32 ctl)
struct arch_timer_context *ctxt = vcpu_get_timer(vcpu, timerid);
static u64 read_timer_ctl(struct arch_timer_context *timer)
struct arch_timer_context *timer,
struct arch_timer_context *timer;
struct arch_timer_context *timer,
struct arch_timer_context *timer;
static void timer_set_cval(struct arch_timer_context *ctxt, u64 cval)
struct arch_timer_context *ctx;
struct arch_timer_context *ctx;
struct arch_timer_context *timer;
struct arch_timer_context *ctx;
static u64 kvm_counter_compute_delta(struct arch_timer_context *timer_ctx,
static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)
static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)
struct arch_timer_context *ctx;
struct arch_timer_context *ctx = &vcpu->arch.timer_cpu.timers[i];
struct arch_timer_context *ctx;
ctx = container_of(hrt, struct arch_timer_context, hrtimer);
static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)
struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);
static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx);
static void kvm_timer_update_status(struct arch_timer_context *ctx, bool level)
struct arch_timer_context *timer_ctx)
struct arch_timer_context *timer_ctx);
static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
static void timer_emulate(struct arch_timer_context *ctx)
struct arch_timer_context *timer,
static void timer_save_state(struct arch_timer_context *ctx)
struct arch_timer_context *timer,
static void timer_restore_state(struct arch_timer_context *ctx)
static inline void set_timer_irq_phys_active(struct arch_timer_context *ctx, bool active)
static void kvm_timer_vcpu_load_gic(struct arch_timer_context *ctx)
u32 timer_get_ctl(struct arch_timer_context *ctxt)
struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
u64 timer_get_cval(struct arch_timer_context *ctxt)
struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);
struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
static inline u64 hyp_timer_get_offset(struct arch_timer_context *ctxt)
static inline u64 compute_counter_value(struct arch_timer_context *ctxt)
struct arch_timer_context *ctxt;
TP_PROTO(struct arch_timer_context *ctx),
TP_PROTO(struct arch_timer_context *ctx),
TP_PROTO(struct arch_timer_context *ctx),
TP_PROTO(struct arch_timer_context *ctx, bool should_fire),
u32 timer_get_ctl(struct arch_timer_context *ctxt);
u64 timer_get_cval(struct arch_timer_context *ctxt);
static inline u64 timer_get_offset(struct arch_timer_context *ctxt)
static inline void timer_set_offset(struct arch_timer_context *ctxt, u64 offset)
struct arch_timer_context *direct_vtimer;
struct arch_timer_context *direct_ptimer;
struct arch_timer_context *emul_vtimer;
struct arch_timer_context *emul_ptimer;
struct arch_timer_context timers[NR_KVM_TIMERS];