#ifndef _LIBJOVE_OBJECT_MESSAGE_H
#define _LIBJOVE_OBJECT_MESSAGE_H 1

#include <jove/object-typed.h>

typedef struct _KernelObjectMessage
{
    KernelObjectTyped typed;
    uint16_t pages;
    void *data;
} KernelObjectMessage;

#endif