Searched refs:VMPIDR (Results 1 – 2 of 2) sorted by relevance
47 write_sysreg(ctxt->cp15[c0_MPIDR], VMPIDR); in __sysreg_restore_state()
39 #define VMPIDR __ACCESS_CP15(c0, 4, c0, 5) macro
