#pragma once

#include <kernel/types.h>

extern void relative_time(unsigned long, unsigned long, unsigned long *, unsigned long *);
extern uint64_t now(void);