backend_get_counter64
void backend_get_counter64(void);
{ "backend_get_counter64", backend_get_counter64 },