#ifndef MANGO_HANDLE_H_
#define MANGO_HANDLE_H_

#include <mango/status.h>
#include <mango/types.h>

extern kern_status_t kern_handle_close(kern_handle_t handle);
extern kern_status_t kern_handle_transfer(
	kern_handle_t src_task,
	kern_handle_t src_handle,
	kern_handle_t dest_task,
	kern_handle_t dest_handle,
	unsigned int mode,
	kern_handle_t *out_handle);

#endif