faster page fault counting