Searched refs:wbuf_rwindow_size (Results 1 – 1 of 1) sorted by relevance
484 int wbuf_rwindow_size; in setgwins() local488 wbuf_rwindow_size = WINDOWSIZE32; in setgwins()491 wbuf_rwindow_size = WINDOWSIZE64; in setgwins()518 int wbuf_rwindow_size; in setgwins32() local522 wbuf_rwindow_size = WINDOWSIZE32; in setgwins32()557 int wbuf_rwindow_size; in getgwins() local588 int wbuf_rwindow_size; in getgwins32() local630 int wbuf_rwindow_size; in flush_user_windows_to_stack() local680 (j * wbuf_rwindow_size)); in flush_user_windows_to_stack()709 (k * wbuf_rwindow_size), in flush_user_windows_to_stack()[all …]