void stw_be_phys(target_phys_addr_t addr, uint32_t val)

{

    stw_phys_internal(addr, val, DEVICE_BIG_ENDIAN);

}

void stw_be_phys(target_phys_addr_t addr, uint32_t val)

{

    stw_phys_internal(addr, val, DEVICE_BIG_ENDIAN);

}

void FUNC_0(target_phys_addr_t VAR_0, uint32_t VAR_1)

{

    stw_phys_internal(VAR_0, VAR_1, DEVICE_BIG_ENDIAN);

}

void FUNC_0(target_phys_addr_t VAR_0, uint32_t VAR_1)
{ stw_phys_internal(VAR_0, VAR_1, DEVICE_BIG_ENDIAN); }