/*
 * Copyright 2014-2016 Freescale Semiconductor, Inc.
 * Copyright 2016-2019 NXP
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

#ifndef FSL_TICKLESS_LPTMR_H
#define FSL_TICKLESS_LPTMR_H

#define configRTC_CLOCK_HZ (1000)
/* The RTC is a 16-bit counter. */
#define portMAX_16_BIT_NUMBER (0xffffUL)

#endif /* FSL_TICKLESS_LPTMR_H */
