static void nvic_sysreg_write(void *opaque, target_phys_addr_t addr,

                              uint64_t value, unsigned size)

{

    uint32_t offset = addr;

    if (size == 4) {

        nvic_writel(opaque, offset, value);

        return;

    }

    hw_error("NVIC: Bad write of size %d at offset 0x%x\n", size, offset);

}

static void nvic_sysreg_write(void *opaque, target_phys_addr_t addr,

                              uint64_t value, unsigned size)

{

    uint32_t offset = addr;

    if (size == 4) {

        nvic_writel(opaque, offset, value);

        return;

    }

    hw_error("NVIC: Bad write of size %d at offset 0x%x\n", size, offset);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                              uint64_t VAR_2, unsigned VAR_3)

{

    uint32_t offset = VAR_1;

    if (VAR_3 == 4) {

        nvic_writel(VAR_0, offset, VAR_2);

        return;

    }

    hw_error("NVIC: Bad write of VAR_3 %d at offset 0x%x\n", VAR_3, offset);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ uint32_t offset = VAR_1; if (VAR_3 == 4) { nvic_writel(VAR_0, offset, VAR_2); return; } hw_error("NVIC: Bad write of VAR_3 %d at offset 0x%x\n", VAR_3, offset); }