Loading...
Searching...
No Matches
syscall_defs.h
Go to the documentation of this file.
/*
* (c) 2010 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
* economic rights: Technische Universität Dresden (Germany)
*
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#ifndef __L4SYS__ARCH_ARM__L4API_L4F__SYSCALL_DEFS_H__
#define __L4SYS__ARCH_ARM__L4API_L4F__SYSCALL_DEFS_H__
#define L4_SYSCALL_INVOKE (0)
#define L4_SYSCALL_MEM_OP (1)
#endif /* __L4SYS__ARCH_ARM__L4API_L4F__SYSCALL_DEFS_H__ */