read_hvwc_reg
seq_printf(s, "0x%016llx %s\n", read_hvwc_reg(win, name, reg), name);
read_hvwc_reg(txwin, VREG(LRFIFO_PUSH)));
val = read_hvwc_reg(window, VREG(WINCTL));
val = read_hvwc_reg(window, VREG(TX_WCRED));
val = read_hvwc_reg(window, VREG(LRX_WCRED));
val = read_hvwc_reg(window, VREG(WIN_STATUS));
val = read_hvwc_reg(window, VREG(WINCTL));