Searched +full:exact +full:- +full:len (Results 1 – 1 of 1) sorted by relevance
1 // SPDX-License-Identifier: GPL-2.0-only20 int cpus, len; in timer_get_frequency() local29 prop = fdt_get_property(fdt, cpus, "timebase-frequency", &len); in timer_get_frequency()30 assert(prop != NULL && len == 4); in timer_get_frequency()32 data = (u32 *)prop->data; in timer_get_frequency()58 * exact number to decide *not* to update the timer. IOW, if in timer_stop()63 csr_write(CSR_STIMECMP, ULONG_MAX - 1); in timer_stop()65 csr_write(CSR_STIMECMPH, ULONG_MAX - 1); in timer_stop()