Searched refs:P_CVALH (Results 1 – 2 of 2) sorted by relevance
75 FWK_RW uint32_t P_CVALH; member
129 ctx->hw_timer->P_CVALH = (uint32_t)(timestamp >> 32UL); in set_timer()144 counter_high = ctx->hw_timer->P_CVALH; in get_timer()
Completed in 3 milliseconds