Symbol: read_gc0_intctl
arch/mips/kvm/vz.c
2020
*v = read_gc0_intctl();
arch/mips/kvm/vz.c
3106
kvm_write_sw_gc0_intctl(cop0, read_gc0_intctl() &