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.
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.