static inline uint64_t cpu_ppc_get_tb(CPUPPCState *env)

{

    /* TO FIX */

    return 0;

}

static inline uint64_t cpu_ppc_get_tb(CPUPPCState *env)

{

    

    return 0;

}

static inline uint64_t FUNC_0(CPUPPCState *env)

{

    

    return 0;

}

static inline uint64_t FUNC_0(CPUPPCState *env)
{ return 0; }