docs/xtf/arch_2x86_2include_2arch_2test_8h_source.html

 #ifndef XTF_X86_TEST_H
 #define XTF_X86_TEST_H

 #include <arch/regs.h>

 void do_syscall(struct cpu_regs *regs);

 void do_sysenter(struct cpu_regs *regs);

 void do_evtchn(struct cpu_regs *regs);

 #endif /* XTF_X86_TEST_H */

 /*
  * Local variables:
  * mode: C
  * c-file-style: "BSD"
  * c-basic-offset: 4
  * tab-width: 4
  * indent-tabs-mode: nil
  * End:
  */
do_evtchn
void do_evtchn(struct cpu_regs *regs)
May be implemented by a guest to handle Event Channel upcalls.
Definition: traps.c:78

do_sysenter
void do_sysenter(struct cpu_regs *regs)
May be implemented by a guest to handle SYSENTER invocations.
Definition: traps.c:73

regs.h

do_syscall
void do_syscall(struct cpu_regs *regs)
May be implemented by a guest to handle SYSCALL invocations.
Definition: traps.c:68