MPIDR_EL1
return read_cpuid(MPIDR_EL1);
return __vcpu_sys_reg(vcpu, MPIDR_EL1) & MPIDR_HWID_BITMASK;
ctxt_sys_reg(cpu_ctxt, MPIDR_EL1) = read_cpuid_mpidr();
__sysreg_restore_el1_state(ctxt, midr, ctxt_sys_reg(ctxt, MPIDR_EL1));
mpidr = ctxt_sys_reg(guest_ctxt, MPIDR_EL1);
write_sysreg(__vcpu_sys_reg(vcpu, MPIDR_EL1), vmpidr_el2);
{ SYS_DESC(SYS_MPIDR_EL1), NULL, reset_mpidr, MPIDR_EL1 },
vcpu_write_sys_reg(vcpu, mpidr, MPIDR_EL1);
return read_cpuid(MPIDR_EL1);