#ifndef KERNEL_X86_64_DEBUG_H_
#define KERNEL_X86_64_DEBUG_H_

#include <magenta/types.h>
#include <stddef.h>

extern kern_status_t debug_read(void *buf, size_t max, size_t *nr_read);
extern kern_status_t debug_write(const void *buf, size_t max, size_t *nr_read);

#endif