64 static inline void print_reg(struct seq_file *s, struct vas_window *win,  in print_reg()  function
80 	print_reg(s, window, VREG(LPID));  in hvwc_dbg_show()
81 	print_reg(s, window, VREG(PID));  in hvwc_dbg_show()
82 	print_reg(s, window, VREG(XLATE_MSR));  in hvwc_dbg_show()
83 	print_reg(s, window, VREG(XLATE_LPCR));  in hvwc_dbg_show()
84 	print_reg(s, window, VREG(XLATE_CTL));  in hvwc_dbg_show()
85 	print_reg(s, window, VREG(AMR));  in hvwc_dbg_show()
86 	print_reg(s, window, VREG(SEIDR));  in hvwc_dbg_show()
87 	print_reg(s, window, VREG(FAULT_TX_WIN));  in hvwc_dbg_show()
88 	print_reg(s, window, VREG(OSU_INTR_SRC_RA));  in hvwc_dbg_show()
89 	print_reg(s, window, VREG(HV_INTR_SRC_RA));  in hvwc_dbg_show()
90 	print_reg(s, window, VREG(PSWID));  in hvwc_dbg_show()
91 	print_reg(s, window, VREG(LFIFO_BAR));  in hvwc_dbg_show()
92 	print_reg(s, window, VREG(LDATA_STAMP_CTL));  in hvwc_dbg_show()
93 	print_reg(s, window, VREG(LDMA_CACHE_CTL));  in hvwc_dbg_show()
94 	print_reg(s, window, VREG(LRFIFO_PUSH));  in hvwc_dbg_show()
95 	print_reg(s, window, VREG(CURR_MSG_COUNT));  in hvwc_dbg_show()
96 	print_reg(s, window, VREG(LNOTIFY_AFTER_COUNT));  in hvwc_dbg_show()
97 	print_reg(s, window, VREG(LRX_WCRED));  in hvwc_dbg_show()
98 	print_reg(s, window, VREG(LRX_WCRED_ADDER));  in hvwc_dbg_show()
99 	print_reg(s, window, VREG(TX_WCRED));  in hvwc_dbg_show()
100 	print_reg(s, window, VREG(TX_WCRED_ADDER));  in hvwc_dbg_show()
101 	print_reg(s, window, VREG(LFIFO_SIZE));  in hvwc_dbg_show()
102 	print_reg(s, window, VREG(WINCTL));  in hvwc_dbg_show()
103 	print_reg(s, window, VREG(WIN_STATUS));  in hvwc_dbg_show()
104 	print_reg(s, window, VREG(WIN_CTX_CACHING_CTL));  in hvwc_dbg_show()
105 	print_reg(s, window, VREG(TX_RSVD_BUF_COUNT));  in hvwc_dbg_show()
106 	print_reg(s, window, VREG(LRFIFO_WIN_PTR));  in hvwc_dbg_show()
107 	print_reg(s, window, VREG(LNOTIFY_CTL));  in hvwc_dbg_show()
108 	print_reg(s, window, VREG(LNOTIFY_PID));  in hvwc_dbg_show()
109 	print_reg(s, window, VREG(LNOTIFY_LPID));  in hvwc_dbg_show()
110 	print_reg(s, window, VREG(LNOTIFY_TID));  in hvwc_dbg_show()
111 	print_reg(s, window, VREG(LNOTIFY_SCOPE));  in hvwc_dbg_show()
112 	print_reg(s, window, VREG(NX_UTIL_ADDER));  in hvwc_dbg_show()