demux_c15_get    1212 arch/arm/kvm/coproc.c 		return demux_c15_get(reg->id, uaddr);
demux_c15_get    2556 arch/arm64/kvm/sys_regs.c 		return demux_c15_get(reg->id, uaddr);