57 	u32 lo, hi;  in ixp_systime_read()  local
60 	hi = __raw_readl(&regs->systime_hi);  in ixp_systime_read()
62 	ns = ((u64) hi) << 32;  in ixp_systime_read()
71 	u32 hi, lo;  in ixp_systime_write()  local
74 	hi = ns >> 32;  in ixp_systime_write()
78 	__raw_writel(hi, &regs->systime_hi);  in ixp_systime_write()
90 	u32 ack = 0, lo, hi, val;  in isr()  local
97 			hi = __raw_readl(&regs->asms_hi);  in isr()
101 			event.timestamp = ((u64) hi) << 32;  in isr()
111 			hi = __raw_readl(&regs->amms_hi);  in isr()
115 			event.timestamp = ((u64) hi) << 32;  in isr()