Home
last modified time | relevance | path

Searched refs:rate_64 (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/drivers/scmi-msg/
H A Dclock.c190 uint64_t rate_64 = 0; in scmi_clock_rate_set() local
208 rate_64 = reg_pair_to_64(in_args->rate[1], in_args->rate[0]); in scmi_clock_rate_set()
209 rate = rate_64; in scmi_clock_rate_set()