142 u32 timer_get_ctl(struct arch_timer_context *ctxt);
143 u64 timer_get_cval(struct arch_timer_context *ctxt);
164 static inline u64 timer_get_offset(struct arch_timer_context *ctxt)  in timer_get_offset()  argument
168 	if (!ctxt)  in timer_get_offset()
171 	if (ctxt->offset.vm_offset)  in timer_get_offset()
172 		offset += *ctxt->offset.vm_offset;  in timer_get_offset()
173 	if (ctxt->offset.vcpu_offset)  in timer_get_offset()
174 		offset += *ctxt->offset.vcpu_offset;  in timer_get_offset()
179 static inline void timer_set_offset(struct arch_timer_context *ctxt, u64 offset)  in timer_set_offset()  argument
181 	if (!ctxt->offset.vm_offset) {  in timer_set_offset()
182 		WARN(offset, "timer %d\n", arch_timer_ctx_index(ctxt));  in timer_set_offset()
186 	WRITE_ONCE(*ctxt->offset.vm_offset, offset);  in timer_set_offset()