#ifndef LCLOCK_ARCH_H
#define LCLOCK_ARCH_H

#include <chip.h>

#include <stdint.h>

typedef uint64_t t_lclock_ticks;

#define LCLOCK_TICKS_PER_SECOND CHIP_CLK_SYSCTR_BASE_FREQ

#endif // LCLOCK_ARCH_H
