vgic_write_guest_lock
__ret = vgic_write_guest_lock(__k, (g), \
ret = vgic_write_guest_lock(kvm, ptr, &val, 1);