Searched refs:id_aa64mmfr0_el1 (Results 1 – 3 of 3) sorted by relevance
236 uint64_t id_aa64mmfr0_el1, pa_range_bits, pa_range_field; in vmmops_modinit() local259 if (!get_kernel_reg(ID_AA64MMFR0_EL1, &id_aa64mmfr0_el1)) { in vmmops_modinit()263 pa_range_field = ID_AA64MMFR0_PARange_VAL(id_aa64mmfr0_el1); in vmmops_modinit()
871 mrs x3, id_aa64mmfr0_el1
2817 desc->id_aa64mmfr0 = READ_SPECIALREG(id_aa64mmfr0_el1); in identify_cpu()