Searched refs:machine_read_clidr (Results 1 – 3 of 3) sorted by relevance
42 uint32_t machine_read_clidr(void);
47 machine_read_clidr(void) in machine_read_clidr() function
364 arm_cache_clidr_info.value = machine_read_clidr(); in do_cacheid()