tok               280 gc/os_dep.c        char *tok;
tok               292 gc/os_dep.c            tok = buf_ptr;
tok               294 gc/os_dep.c            *start = strtoul(tok, NULL, 16);
tok               296 gc/os_dep.c            tok = buf_ptr+OFFSET_MAP_END;
tok               298 gc/os_dep.c            *end = strtoul(tok, NULL, 16);
tok               301 gc/os_dep.c            tok = buf_ptr;
tok               304 gc/os_dep.c            *maj_dev = strtoul(tok, NULL, 16);