Searched refs:machine_read_ccsidr (Results 1 – 3 of 3) sorted by relevance
320 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()361 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()394 arm_cache_ccsidr_info.value = machine_read_ccsidr(); in do_cacheid()
43 uint32_t machine_read_ccsidr(void);
56 machine_read_ccsidr(void) in machine_read_ccsidr() function