#ifndef JOS_INC_EXIT_DECLASS_H
#define JOS_INC_EXIT_DECLASS_H

#include <inc/container.h>
#include <inc/fs.h>

enum declassify_reqtype {
    declassify_exit,
    declassify_fs_create,
    declassify_fs_resize,
};

struct declassify_args {
    int req;
    int status;

    union {
	struct {
	    struct cobj_ref status_seg;
	    uint64_t parent_pid;
	} exit;

	struct {
	    struct fs_inode dir;
	    char name[64];
	    struct fs_inode new_file;
	} fs_create;

	struct {
	    struct fs_inode ino;
	    uint64_t len;
	} fs_resize;
    };
};

void declassifier(uint64_t, struct gate_call_data *, struct gatesrv_return *);

#endif