last_fault_count 3849 gc/os_dep.c                static int last_fault_count;
last_fault_count 3853 gc/os_dep.c                    last_fault_count = 0;
last_fault_count 3855 gc/os_dep.c                if(++last_fault_count < 32) {
last_fault_count 3856 gc/os_dep.c                    if(last_fault_count == 1)