/*
 *  linux/kernel/virtual.c
 *
 *  Virtual Context Support
 *
 *  V0.01  syscall switch
 *
 */

#include <linux/config.h>
#include <linux/linkage.h>
#include <asm/errno.h>

#include <linux/virtual.h>


static inline int
vc_get_version(uint32_t id)
{
	return VCI_VERSION;
}


extern int vc_new_s_context(uint32_t, void *);
extern int vc_set_ipv4root(uint32_t, void *);


asmlinkage int
sys_virtual_context(uint32_t cmd, uint32_t id, void *data)
{
	int ret = -EINVAL;

	switch (cmd) {
	case VCMD_get_version:
		ret = vc_get_version(id);
		break;
		
	case VCMD_new_s_context:
		ret = vc_new_s_context(id, data);
		break;
		
	case VCMD_set_ipv4root:
		ret = vc_set_ipv4root(id, data);
		break;
		
	}
	return ret;
}