void stw_phys(target_phys_addr_t addr, uint32_t val)

{

    uint16_t v = tswap16(val);

    cpu_physical_memory_write(addr, (const uint8_t *)&v, 2);

}

void stw_phys(target_phys_addr_t addr, uint32_t val)

{

    uint16_t v = tswap16(val);

    cpu_physical_memory_write(addr, (const uint8_t *)&v, 2);

}

void FUNC_0(target_phys_addr_t VAR_0, uint32_t VAR_1)

{

    uint16_t v = tswap16(VAR_1);

    cpu_physical_memory_write(VAR_0, (const uint8_t *)&v, 2);

}

void FUNC_0(target_phys_addr_t VAR_0, uint32_t VAR_1)
{ uint16_t v = tswap16(VAR_1); cpu_physical_memory_write(VAR_0, (const uint8_t *)&v, 2); }