JPF_sun_misc_Perf.java

package gov.nasa.jpf.vm;

import de.fosd.typechef.featureexpr.FeatureExpr;
import gov.nasa.jpf.annotation.MJI;

public class JPF_sun_misc_Perf extends NativePeer {

    @MJI
    public int createLong__Ljava_lang_String_2IIJ__Ljava_nio_ByteBuffer_2 (MJIEnv env, int objRef, int rString0, int v1, int v2, long v3, FeatureExpr ctx) {
        int rByteBuffer = MJIEnv.NULL;
        return rByteBuffer;
    }
}