debug_helpers.h

Go to the documentation of this file.

#pragma once
#include <libplatform/debug/helpers.h>
#include <stdint.h>
#ifdef __cplusplus
extern "C" {
#endif
uint64_t debug_report_deadline_after(uint64_t now, uint64_t delay_ns);
void debug_report_schedule(mutex_t *mutex, cond_t *condition, uint64_t *deadline, uint64_t delay_ns);
#ifdef __cplusplus
}
#endif