/* param base SNVS peripheral base address return Current Monotonic Counter value.  */
uint64_t SNVS_LP_GetMonotonicCounter(SNVS_Type *base)
/* param base SNVS peripheral base address return Current Monotonic Counter value.  */
uint64_t SNVS_LP_GetMonotonicCounter(SNVS_Type *base)
{
    uint32_t mc_lsb, mc_msb;
    mc_msb = base->LPSMCMR;
    mc_lsb = base->LPSMCLR;
    return ((uint64_t)mc_msb << 32UL) | (uint64_t)mc_lsb;
}