Searched refs:pushCheckpoints (Results 1 – 1 of 1) sorted by relevance
32 pushCheckpoints(t); in main()44 public static native void pushCheckpoints(Thread t); in pushCheckpoints() method in Main