Method getMicroNextTimer

include/ktimer.h:66–68

        return microInterval;
    }
    U64 getMicroNextTimer() {
        return microNextTimer;
    }

    void setTimes(U64 microInterval, U64 microNextTimer);