Searched refs:machine_read_ccsidr (Results 1 – 3 of 3) sorted by relevance
333 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()374 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()407 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()
43 uint32_t machine_read_ccsidr(void);
62 machine_read_ccsidr(void) in machine_read_ccsidr() function