uint64_t helper_tick_get_count(void *opaque)

{

#if !defined(CONFIG_USER_ONLY)

    return cpu_tick_get_count(opaque);

#else

    return 0;

#endif

}

uint64_t helper_tick_get_count(void *opaque)

{

#if !defined(CONFIG_USER_ONLY)

    return cpu_tick_get_count(opaque);

#else

    return 0;

#endif

}

uint64_t helper_tick_get_count(void *opaque)     return cpu_tick_get_count(opaque);
uint64_t FUNC_0(void *opaque)

{

#if !defined(CONFIG_USER_ONLY)

    return cpu_tick_get_count(opaque);

#else

    return 0;

#endif

}

uint64_t FUNC_0(void *opaque)
{ #if !defined(CONFIG_USER_ONLY)
return cpu_tick_get_count(opaque); #else
return 0; #endif
}