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

Reply via email to