/*
 * Copyright (c) 2013-2015 Wind River Systems, Inc.
 * Copyright (c) 2016 Intel Corporation.
 *
 * SPDX-License-Identifier: Apache-2.0
 */

/**
 * @file
 * @brief Measure boot time
 *
 * Measuring the boot time
 *  1. From reset to kernel's __start
 *  2. From __start to main()
 *  3. From __start to task
 *  4. From __start to idle
 */

#include <zephyr.h>
#include <tc_util.h>

/* externs */
extern uint64_t __start_tsc;    /* timestamp when kernel begins executing */
extern uint64_t __main_tsc;     /* timestamp when main() begins executing */
extern uint64_t __idle_tsc;     /* timestamp when CPU went idle */

void main(void)
{
	uint64_t task_tsc;      /* timestamp at beginning of first task  */
	uint64_t _start_us;     /* being of __start timestamp in us	 */
	uint64_t main_us;       /* begin of main timestamp in us	 */
	uint64_t task_us;       /* begin of task timestamp in us	 */
	uint64_t s_main_tsc;    /* __start->main timestamp		 */
	uint64_t s_task_tsc;    /*__start->task timestamp		 */
	uint64_t idle_us;       /* begin of idle timestamp in us	 */
	uint64_t s_idle_tsc;    /*__start->idle timestamp		 */

	task_tsc = _tsc_read();

	/*
	 * Go to sleep for 1 tick in order to timestamp when idle thread halts.
	 */
	k_sleep(1);

	int freq = CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC / 1000000;

	_start_us  =  __start_tsc / freq;
	s_main_tsc =  __main_tsc - __start_tsc;
	main_us    =  s_main_tsc / freq;
	s_task_tsc =  task_tsc   - __start_tsc;
	task_us    =  s_task_tsc / freq;
	s_idle_tsc =  __idle_tsc - __start_tsc;
	idle_us    =  s_idle_tsc / freq;

	/* Indicate start for sanity test suite */
	TC_START("Boot Time Measurement");

	/* Only print lower 32bit of time result */
	TC_PRINT("Boot Result: Clock Frequency: %d MHz\n",
		 freq);
	TC_PRINT("__start       : %d cycles, %d us\n",
		 (uint32_t)(__start_tsc & 0xFFFFFFFFULL),
		 (uint32_t) (_start_us  & 0xFFFFFFFFULL));
	TC_PRINT("_start->main(): %d cycles, %d us\n",
		 (uint32_t)(s_main_tsc & 0xFFFFFFFFULL),
		 (uint32_t)  (main_us  & 0xFFFFFFFFULL));
	TC_PRINT("_start->task  : %d cycles, %d us\n",
		 (uint32_t)(s_task_tsc & 0xFFFFFFFFULL),
		 (uint32_t)  (task_us  & 0xFFFFFFFFULL));
	TC_PRINT("_start->idle  : %d cycles, %d us\n",
		 (uint32_t)(s_idle_tsc & 0xFFFFFFFFULL),
		 (uint32_t)  (idle_us  & 0xFFFFFFFFULL));

	TC_PRINT("Boot Time Measurement finished\n");

	/* for sanity regression test utility. */
	TC_END_RESULT(TC_PASS);
	TC_END_REPORT(TC_PASS);

}