Searched refs:id_pfr1 (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/armv7/
H A Dplat_id.c21 ai->id_pfr1 = cp15_read_id_pfr1();
H A Dboot_driver.c132 uint32_t id_pfr1= cp15_read_id_pfr1(); local
133 if(cpuid_arm_id_pfr1_security_extract((uint8_t *)&id_pfr1) ==
143 if(cpuid_arm_id_pfr1_virtualisation_extract((uint8_t *)&id_pfr1) ==
152 if(cpuid_arm_id_pfr1_generic_timer_extract((uint8_t *)&id_pfr1) ==
/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h55 uint32_t midr, ctr, id_pfr0, id_pfr1; member in struct:arch_info_armv7
70 uint32_t midr, ctr, id_pfr0, id_pfr1; member in struct:arch_info_armv8

Completed in 99 milliseconds