void virtio_panic(const char *string)

{

    sclp_print(string);

    disabled_wait();

    while (1) { }

}

void virtio_panic(const char *string)

{

    sclp_print(string);

    disabled_wait();

    while (1) { }

}

void virtio_panic(const char *string)
void FUNC_0(const char *VAR_0)

{

    sclp_print(VAR_0);

    disabled_wait();

    while (1) { }

}

void FUNC_0(const char *VAR_0)
{ sclp_print(VAR_0); disabled_wait(); while (1) { } }