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