void stb_phys(target_phys_addr_t addr, uint32_t val)

{

    uint8_t v = val;

    cpu_physical_memory_write(addr, &v, 1);

}

void stb_phys(target_phys_addr_t addr, uint32_t val)

{

    uint8_t v = val;

    cpu_physical_memory_write(addr, &v, 1);

}

void FUNC_0(target_phys_addr_t VAR_0, uint32_t VAR_1)

{

    uint8_t v = VAR_1;

    cpu_physical_memory_write(VAR_0, &v, 1);

}

void FUNC_0(target_phys_addr_t VAR_0, uint32_t VAR_1)
{ uint8_t v = VAR_1; cpu_physical_memory_write(VAR_0, &v, 1); }