Searched refs:machine_read_ccsidr (Results 1 – 3 of 3) sorted by relevance
311 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()352 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()385 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