CID                38 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c13_CID]		= read_sysreg(CID);
CID                67 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c13_CID],	CID);