next_page        1373 gc/os_dep.c        word next_page = ((text_end + (word)max_page_size - 1)
next_page        1376 gc/os_dep.c        VOLATILE char * result = (char *)(next_page + page_offset);
next_page        1411 gc/os_dep.c        VOLATILE word next_page = (text_end + (word)max_page_size - 1)
next_page        1418 gc/os_dep.c    	for (; next_page < (word)(DATAEND); next_page += (word)max_page_size)
next_page        1419 gc/os_dep.c    	    *(VOLATILE char *)next_page;