v_hi               32 drivers/misc/genwqe/card_debugfs.c 	u32 v_hi, v_lo;
v_hi               35 drivers/misc/genwqe/card_debugfs.c 		v_hi = (regs[i].val >> 32) & 0xffffffff;
v_hi               39 drivers/misc/genwqe/card_debugfs.c 			   regs[i].addr, regs[i].idx, v_hi, v_lo);