Lines Matching refs:uint64_t

223 nlm_pic_enable_irt(uint64_t base, int irt)  in nlm_pic_enable_irt()
232 nlm_pic_disable_irt(uint64_t base, int irt)  in nlm_pic_disable_irt()
241 nlm_pic_send_ipi(uint64_t base, int hwt, int irq, int nmi)  in nlm_pic_send_ipi()
252 nlm_pic_ack(uint64_t base, int irt)  in nlm_pic_ack()
258 nlm_pic_init_irt(uint64_t base, int irt, int irq, int hwt, int en)  in nlm_pic_init_irt()
266 static inline uint64_t
267 nlm_pic_read_timer(uint64_t base, int timer)  in nlm_pic_read_timer()
277 	return ((uint64_t)up2 << 32) | low;  in nlm_pic_read_timer()
282 nlm_pic_read_timer32(uint64_t base, int 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()
291 	uint64_t pic_ctrl = nlm_read_reg(base, PIC_CTRL);  in nlm_pic_set_timer()