On 16/05/19 13:12, Thomas Huth wrote: > +#define VCPU_ID 5 > + > +static void guest_code(void) > +{ > + for (;;) { > + asm volatile ("diag 0,0,0x501"); > + asm volatile ("ahi 11,1"); > + } I'd like this to use something like register u32 stage = 0 asm("11"); ... stage++ instead (yes, it should be fixed in x86 too). Paolo