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);