demux_c15_set    1010 arch/arm/kvm/coproc.c static int demux_c15_set(u64 id, void __user *uaddr)
demux_c15_set    2519 arch/arm64/kvm/sys_regs.c static int demux_c15_set(u64 id, void __user *uaddr)