void stq_be_phys(target_phys_addr_t addr, uint64_t val)

{

    val = cpu_to_be64(val);

    cpu_physical_memory_write(addr, &val, 8);

}

void stq_be_phys(target_phys_addr_t addr, uint64_t val)

{

    val = cpu_to_be64(val);

    cpu_physical_memory_write(addr, &val, 8);

}

void FUNC_0(target_phys_addr_t VAR_0, uint64_t VAR_1)

{

    VAR_1 = cpu_to_be64(VAR_1);

    cpu_physical_memory_write(VAR_0, &VAR_1, 8);

}

void FUNC_0(target_phys_addr_t VAR_0, uint64_t VAR_1)
{ VAR_1 = cpu_to_be64(VAR_1); cpu_physical_memory_write(VAR_0, &VAR_1, 8); }