demux_c15_get     985 arch/arm/kvm/coproc.c static int demux_c15_get(u64 id, void __user *uaddr)
demux_c15_get    2494 arch/arm64/kvm/sys_regs.c static int demux_c15_get(u64 id, void __user *uaddr)