2026-02-19 19:22:06 +00:00
|
|
|
#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);
|
2026-03-29 11:48:59 +01:00
|
|
|
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);
|
2026-02-19 19:22:06 +00:00
|
|
|
|
|
|
|
|
#endif
|
