441 	local_t		top;  member
580 static inline u64 rb_time_val(unsigned long top, unsigned long bottom)  in rb_time_val()  argument
584 	val = top & RB_TIME_VAL_MASK;  in rb_time_val()
593 	unsigned long top, bottom, msb;  in __rb_time_read()  local
603 		top = local_read(&t->top);  in __rb_time_read()
608 	*cnt = rb_time_cnt(top);  in __rb_time_read()
615 	*ret = rb_time_val(top, bottom) | ((u64)msb << RB_TIME_MSB_SHIFT);  in __rb_time_read()
631 static inline void rb_time_split(u64 val, unsigned long *top, unsigned long *bottom,  in rb_time_split()  argument
634 	*top = (unsigned long)((val >> RB_TIME_SHIFT) & RB_TIME_VAL_MASK);  in rb_time_split()
647 	unsigned long cnt, top, bottom, msb;  in rb_time_set()  local
649 	rb_time_split(val, &top, &bottom, &msb);  in rb_time_set()
654 		rb_time_val_set(&t->top, top, cnt);  in rb_time_set()