static int zipl_magic(uint8_t *ptr)

{

    uint32_t *p = (void*)ptr;

    uint32_t *z = (void*)ZIPL_MAGIC;



    if (*p != *z) {

        debug_print_int("invalid magic", *p);

        virtio_panic("invalid magic");

    }



    return 1;

}

static int zipl_magic(uint8_t *ptr)

{

    uint32_t *p = (void*)ptr;

    uint32_t *z = (void*)ZIPL_MAGIC;



    if (*p != *z) {

        debug_print_int("invalid magic", *p);

        virtio_panic("invalid magic");

    }



    return 1;

}

static int FUNC_0(uint8_t *VAR_0)

{

    uint32_t *p = (void*)VAR_0;

    uint32_t *z = (void*)ZIPL_MAGIC;



    if (*p != *z) {

        debug_print_int("invalid magic", *p);

        virtio_panic("invalid magic");

    }



    return 1;

}

static int FUNC_0(uint8_t *VAR_0)
{ uint32_t *p = (void*)VAR_0; uint32_t *z = (void*)ZIPL_MAGIC; if (*p != *z) { debug_print_int("invalid magic", *p); virtio_panic("invalid magic"); } return 1; }