Quoting Claudio Imbrenda (2023-05-16 19:22:25) [...] > > diff --git a/lib/s390x/sie.h b/lib/s390x/sie.h > > index 147cb0f2a556..0b00fb709776 100644 > > --- a/lib/s390x/sie.h > > +++ b/lib/s390x/sie.h > > @@ -284,5 +284,6 @@ void sie_handle_validity(struct vm *vm); > > void sie_guest_sca_create(struct vm *vm); > > void sie_guest_create(struct vm *vm, uint64_t guest_mem, uint64_t guest_mem_len); > > void sie_guest_destroy(struct vm *vm); > > +bool sie_had_pgm_int(struct vm *vm); > > what's this? Opsie, fixed :)