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