demux_c15_set    1241 arch/arm/kvm/coproc.c 		return demux_c15_set(reg->id, uaddr);
demux_c15_set    2581 arch/arm64/kvm/sys_regs.c 		return demux_c15_set(reg->id, uaddr);