Searched refs:read_cntvct_el0 (Results 1 – 1 of 1) sorted by relevance
67 static inline uint64_t read_cntvct_el0(void) in read_cntvct_el0() function116 INFO("Counter TICK 0x%lx\n", read_cntvct_el0()); in bl31_early_platform_setup2()118 INFO("Counter TICK after reset 0x%lx\n", read_cntvct_el0()); in bl31_early_platform_setup2()