Library mcertikos.trap.SysCallGenLinkSource

Require Import LinkSourceTemplate.
Require Import TDispatch.
Require Import SysCallGenAsmSource.

Definition TSysCall_module: link_module :=
  {|
    lm_cfun :=
      nil;
    lm_asmfun :=
      laf syscall_dispatch sys_dispatch_function ::
      laf pgf_handler pgf_handler_function ::
      laf sys_yield sys_yield_function ::
      
      nil;
    lm_gvar :=
      nil
  |}.

Definition TSysCall_impl `{CompCertiKOS} `{RealParams} :=
  link_impl TSysCall_module tdispatch.