Searched refs:uint64_value (Results 1 – 1 of 1) sorted by relevance
174 uint64_t uint64_value; in csr_bootstrap() local181 _csr_get_dt_uint64(&entry, "lp-sip0", &uint64_value)) { in csr_bootstrap()182 csr_config = (uint32_t)uint64_value; // Currently only 32 bits used. in csr_bootstrap()