---

syscalls_gen.h

Go to the documentation of this file.

#ifndef __L4_SYS__L4API_l4v2__SYSCALLS_GEN_H__
#define __L4_SYS__L4API_l4v2__SYSCALLS_GEN_H__

#include <l4/sys/types.h>
#include <l4/sys/kdebug.h>
#include <l4/sys/utcb.h>

enum {
  L4_TASK_NEW_RAISE_EXCEPTION = 1UL << 30,    
  L4_TASK_NEW_ALIEN           = 1UL << 31,    
};

enum {
  L4_TASK_NEW_UTCB_ARGS       = 1UL << 29,   
  L4_TASK_NEW_NR_OF_FLAGS     = 3,           
  L4_TASK_NEW_FLAGS_MASK      = ((1 << L4_TASK_NEW_NR_OF_FLAGS) - 1)
                                << (32 - L4_TASK_NEW_NR_OF_FLAGS),
};

enum {
  L4_THREAD_EX_REGS_RAISE_EXCEPTION = 1UL << 28,
  L4_THREAD_EX_REGS_ALIEN           = 1UL << 29,
  L4_THREAD_EX_REGS_NO_CANCEL       = 1UL << 30,

  L4_THREAD_EX_REGS_TASK_ID_SHIFT   = 7,
};

enum {
  L4_THREAD_EX_REGS_UTCB_ARGS       = 1UL << 27,
  L4_THREAD_EX_REGS_VM86            = 1UL << 31,
};

/*****************************************************************************
 *** Syscall arguments
 *****************************************************************************/

/* l4_fpage_unmap */
#define L4_FP_REMAP_PAGE        0x00    
#define L4_FP_FLUSH_PAGE        0x02    
#define L4_FP_OTHER_SPACES      0x00    
#define L4_FP_ALL_SPACES        0x80000000U

/* l4_nchief return values */
#define L4_NC_SAME_CLAN         0x00    
#define L4_NC_INNER_CLAN        0x0C    
#define L4_NC_OUTER_CLAN        0x04    
/*****************************************************************************
 *** Prototypes
 *****************************************************************************/

L4_INLINE l4_umword_t
l4_fpage_unmap_taskid(unsigned taskid);

L4_INLINE void
l4_fpage_unmap(l4_fpage_t fpage,
         l4_umword_t map_mask);

L4_INLINE l4_threadid_t
l4_myself(void);

L4_INLINE l4_threadid_t
l4_myself_noprof(void);

L4_INLINE int
l4_nchief(l4_threadid_t destination,
    l4_threadid_t *next_chief);

L4_INLINE void
l4_thread_ex_regs(l4_threadid_t destination,
      l4_umword_t eip,
      l4_umword_t esp,
      l4_threadid_t *preempter,
      l4_threadid_t *pager,
      l4_umword_t *old_eflags,
      l4_umword_t *old_eip,
      l4_umword_t *old_esp);

L4_INLINE void
l4_thread_ex_regs_flags(l4_threadid_t destination,
                        l4_umword_t eip,
                        l4_umword_t esp,
                        l4_threadid_t *preempter,
                        l4_threadid_t *pager,
                        l4_umword_t *old_eflags,
                        l4_umword_t *old_eip,
                        l4_umword_t *old_esp,
            unsigned long flags);

L4_INLINE void
l4_inter_task_ex_regs(l4_threadid_t destination,
                      l4_umword_t eip,
                      l4_umword_t esp,
                      l4_threadid_t *preempter,
                      l4_threadid_t *pager,
                      l4_threadid_t *cap_handler,
                      l4_umword_t *old_eflags,
                      l4_umword_t *old_eip,
                      l4_umword_t *old_esp,
                      unsigned long flags,
                      l4_utcb_t *utcb);

L4_INLINE l4_threadid_t
l4_thread_ex_regs_pager(l4_threadid_t destination);

L4_INLINE void
l4_thread_switch(l4_threadid_t destination);

L4_INLINE void
l4_yield(void);

L4_INLINE l4_cpu_time_t
l4_thread_schedule(l4_threadid_t dest,
       l4_sched_param_t param,
       l4_threadid_t *ext_preempter,
       l4_threadid_t *partner,
       l4_sched_param_t *old_param);

L4_INLINE l4_taskid_t
l4_task_new(l4_taskid_t destination,
      l4_umword_t mcp_or_new_chief_and_flags,
      l4_umword_t esp,
      l4_umword_t eip,
      l4_threadid_t pager);

L4_INLINE l4_taskid_t
l4_task_new_long(l4_taskid_t destination,
           l4_umword_t mcp_or_new_chief_and_flags,
           l4_umword_t esp,
           l4_umword_t eip,
           l4_threadid_t pager,
           l4_threadid_t cap_handler,
           l4_quota_desc_t kquota,
                 l4_utcb_t *utcb);


L4_INLINE void *
l4_kernel_interface(void);

L4_INLINE int
l4_privctrl(l4_umword_t cmd,
      l4_umword_t param);

L4_INLINE void
l4_thread_ex_regs_sc(l4_umword_t val0,
                     l4_umword_t ip,
                     l4_umword_t sp,
                     l4_threadid_t *preempter,
                     l4_threadid_t *pager,
                     l4_umword_t *old_eflags,
                     l4_umword_t *old_eip,
                     l4_umword_t *old_esp);

L4_INLINE l4_taskid_t
l4_task_new_sc(l4_taskid_t destination,
               l4_umword_t mcp_or_new_chief_and_flags,
               l4_umword_t sp,
               l4_umword_t ip,
               l4_threadid_t pager);

#endif /* ! __L4_SYS__L4API_l4v2__SYSCALLS_GEN_H__ */

---