Library mcertikos.trap.TTrapCSource

***********************************************************************
*                                                                     *
*            The CertiKOS Certified Kit Operating System              *
*                                                                     *
*                   The FLINT Group, Yale University                  *
*                                                                     *
*  Copyright The FLINT Group, Yale University.  All rights reserved.  *
*  This file is distributed under the terms of the Yale University    *
*  Non-Commercial License Agreement.                                  *
*                                                                     *
*********************************************************************** 

    extern unsigned int uctx_arg1(void);
    extern unsigned int uctx_arg2(void);
    extern unsigned int uctx_arg3(void);
    extern unsigned int uctx_arg4(void);
    extern unsigned int uctx_arg5(void);
    extern void uctx_set_errno(unsigned int);
    extern void uctx_set_retval1(unsigned int);
    extern unsigned int syncsendto_chan_pre(unsigned int, unsigned int, unsigned int);

    unsigned int trap_sendtochan_pre()
    {
        unsigned int chid;
        unsigned int vaddr;
        unsigned int scount;
        unsigned int val;
        chid = uctx_arg2();
        vaddr = uctx_arg3();
        scount = uctx_arg4();
        val = syncsendto_chan_pre(chid, vaddr, scount);
        return val;
    }

    extern void uctx_set_errno(unsigned int);
    extern void uctx_set_retval1(unsigned int);
    extern unsigned int syncsendto_chan_post(void);

    void trap_sendtochan_post()
    {
        unsigned int val;
        val = syncsendto_chan_post();
        uctx_set_retval1(val);
        uctx_set_errno(0);
    }

enum
{
	SYS_puts = 0,
	SYS_ring0_spawn,
	SYS_spawn,
	SYS_yield,
	SYS_sleep,
	SYS_disk_op,
	SYS_disk_cap,
	SYS_is_chan_ready,
	SYS_send,
	SYS_recv,
	SYS_get_tsc_per_ms ,
	SYS_hvm_run_vm ,
	SYS_hvm_get_exitinfo ,
	SYS_hvm_mmap ,
	SYS_hvm_set_seg ,
	SYS_hvm_set_reg ,
	SYS_hvm_get_reg ,
	SYS_hvm_get_next_eip ,
	SYS_hvm_inject_event ,
	SYS_hvm_check_int_shadow ,
	SYS_hvm_check_pending_event ,
	SYS_hvm_intercept_int_window ,
	SYS_hvm_get_tsc_offset ,
	SYS_hvm_set_tsc_offset ,
	SYS_hvm_handle_rdmsr ,
	SYS_hvm_handle_wrmsr ,
	SYS_get_quota ,
	SYS_getc,
	SYS_putc,
	MAX_SYSCALL_NR
};

#define E_INVAL_CALLNR 3

extern void sys_proc_create(void);
extern void sys_get_tsc_offset(void);
extern void sys_set_tsc_offset(void);
extern void sys_get_exitinfo(void);
extern void sys_mmap(void);
extern void sys_set_reg(void);
extern void sys_get_reg(void);
extern void sys_set_seg(void);
extern void sys_get_next_eip(void);
extern void sys_inject_event(void);
extern void sys_check_pending_event(void);
extern void sys_check_int_shadow(void);
extern void sys_intercept_int_window(void);
extern void sys_handle_rdmsr(void);
extern void sys_handle_wrmsr(void);
extern void sys_receive_chan(void);
extern void sys_get_quota(void);
extern void sys_putc (void);
extern void sys_getc (void);
extern void uctx_set_errno(unsigned int);
extern unsigned int uctx_arg1(void);

void
syscall_dispatch_c ()
{
	unsigned int arg1;
	arg1 = uctx_arg1 ();
	if (arg1 == SYS_putc)
		sys_putc ();
	else if (arg1 == SYS_getc)
		sys_getc ();
	else if (arg1 == SYS_spawn)
		sys_proc_create ();
	else if (arg1 == SYS_get_quota)
		sys_get_quota ();
	else if (arg1 == SYS_recv)
		sys_receive_chan ();
	else if (arg1 == SYS_hvm_get_tsc_offset)
		sys_get_tsc_offset ();
	else if (arg1 == SYS_hvm_set_tsc_offset)
		sys_set_tsc_offset ();
	else if (arg1 == SYS_hvm_get_exitinfo)
		sys_get_exitinfo ();
	else if (arg1 == SYS_hvm_mmap)
		sys_mmap ();
	else if (arg1 == SYS_hvm_set_reg)
		sys_set_reg ();
	else if (arg1 == SYS_hvm_get_reg)
		sys_get_reg ();
	else if (arg1 == SYS_hvm_set_seg)
		sys_set_seg ();
	else if (arg1 == SYS_hvm_get_next_eip)
		sys_get_next_eip ();
	else if (arg1 == SYS_hvm_inject_event)
		sys_inject_event ();
	else if (arg1 == SYS_hvm_check_pending_event)
		sys_check_pending_event ();
	else if (arg1 == SYS_hvm_check_int_shadow)
		sys_check_int_shadow ();
	else if (arg1 == SYS_hvm_intercept_int_window)
		sys_intercept_int_window ();
	else if (arg1 == SYS_hvm_handle_rdmsr)
		sys_handle_rdmsr ();
	else if (arg1 == SYS_hvm_handle_wrmsr)
		sys_handle_wrmsr ();
	else
		uctx_set_errno (E_INVAL_CALLNR);
}