void stl_be_phys(target_phys_addr_t addr, uint32_t val)

{

    stl_phys_internal(addr, val, DEVICE_BIG_ENDIAN);

}

void stl_be_phys(target_phys_addr_t addr, uint32_t val)

{

    stl_phys_internal(addr, val, DEVICE_BIG_ENDIAN);

}

void FUNC_0(target_phys_addr_t VAR_0, uint32_t VAR_1)

{

    stl_phys_internal(VAR_0, VAR_1, DEVICE_BIG_ENDIAN);

}

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