page_offset      1375 gc/os_dep.c        word page_offset = (text_end & ((word)max_page_size - 1));
page_offset      1376 gc/os_dep.c        VOLATILE char * result = (char *)(next_page + page_offset);