#ifndef _JOVE_SYS_MESSAGE_H
#define _JOVE_SYS_MESSAGE_H 1

#include "hal/obj.h"

#define MESSAGE_MAX_PAGES (1<<12)
#define MESSAGE_MAX_BYTES (MESSAGE_MAX_PAGES * 0x1000)
#define MESSAGE_ALIGN 0x1000

void *message_data(jove_owned_obj_t *obj);
size_t message_len(jove_owned_obj_t *obj);

#endif