vgic_uaccess_write_spending
vgic_uaccess_read_pending, vgic_uaccess_write_spending, 1,
ret = vgic_uaccess_write_spending(vcpu, addr, len, val);
int vgic_uaccess_write_spending(struct kvm_vcpu *vcpu,