267 nlm_pic_read_timer(uint64_t base, int timer)  in nlm_pic_read_timer()  argument
271 	up1 = nlm_read_reg(base, PIC_TIMER_COUNT_1(timer));  in nlm_pic_read_timer()
272 	low = nlm_read_reg(base, PIC_TIMER_COUNT_0(timer));  in nlm_pic_read_timer()
273 	up2 = nlm_read_reg(base, PIC_TIMER_COUNT_1(timer));  in nlm_pic_read_timer()
276 		low = nlm_read_reg(base, PIC_TIMER_COUNT_0(timer));  in nlm_pic_read_timer()
282 nlm_pic_read_timer32(uint64_t base, int timer)  in nlm_pic_read_timer32()  argument
284 	return nlm_read_reg(base, PIC_TIMER_COUNT_0(timer));  in nlm_pic_read_timer32()
288 nlm_pic_set_timer(uint64_t base, int timer, uint64_t value, int irq, int cpu)  in nlm_pic_set_timer()  argument
297 	nlm_write_reg(base, PIC_TIMER_MAXVAL_0(timer), low);  in nlm_pic_set_timer()
298 	nlm_write_reg(base, PIC_TIMER_MAXVAL_1(timer), up);  in nlm_pic_set_timer()
299 	nlm_pic_init_irt(base, PIC_IRT_TIMER_INDEX(timer), irq, cpu, 0);  in nlm_pic_set_timer()
302 	pic_ctrl |= (1 << (PIC_CTRL_STE + timer));  in nlm_pic_set_timer()