/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef __KERNEL_TIME_ARCH_TIMER_H__
#define __KERNEL_TIME_ARCH_TIMER_H__

void early_time_log(const char *name);

#endif /* __KERNEL_TIME_ARCH_TIMER_H__ */