Searched refs:id_dfr0 (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/kernel/arch/armv7/ | ||
| H A D | plat_id.c | 22 ai->id_dfr0 = cp15_read_id_dfr0(); |
| /barrelfish-master/include/barrelfish_kpi/ | ||
| H A D | platform.h | 56 uint32_t id_dfr0, id_afr0; member in struct:arch_info_armv7 71 uint32_t id_dfr0, id_afr0; member in struct:arch_info_armv8 |
Completed in 71 milliseconds