Searched refs:read_system_reg (Results 1 – 6 of 6) sorted by relevance
141 u64 dfr0 = read_system_reg(SYS_ID_AA64DFR0_EL1); in get_num_brps()150 u64 dfr0 = read_system_reg(SYS_ID_AA64DFR0_EL1); in get_num_wrps()
175 u64 read_system_reg(u32 id);184 return id_aa64mmfr0_mixed_endian_el0(read_system_reg(SYS_ID_AA64MMFR0_EL1)); in system_supports_mixed_endian_el0()
56 pfr0 = read_system_reg(SYS_ID_AA64PFR0_EL1); in cpu_has_32bit_el1()
688 u64 dfr = read_system_reg(SYS_ID_AA64DFR0_EL1); in trap_dbgidr()689 u64 pfr = read_system_reg(SYS_ID_AA64PFR0_EL1); in trap_dbgidr()
37 return cpuid_feature_extract_field(read_system_reg(SYS_ID_AA64DFR0_EL1), in debug_monitors_arch()
581 u64 read_system_reg(u32 id) in read_system_reg() function605 val = read_system_reg(entry->sys_reg); in has_cpuid_feature()