---

types.h

Go to the documentation of this file.

/*****************************************************************************/
/*****************************************************************************/
#ifndef __L4_TYPES_H__
#define __L4_TYPES_H__

#include <l4/sys/compiler.h>
#include <l4/sys/consts.h>
#include <l4/sys/l4int.h>
#include_next <l4/sys/types.h>

typedef struct {
  l4_umword_t low;  
  l4_umword_t high; 
} l4_low_high_t;

/*****************************************************************************
 *** L4 unique identifiers
 *****************************************************************************/

typedef struct {
  unsigned version_low:10;   
  unsigned lthread:7;        
  unsigned task:11;          
  unsigned version_high:4;   
} l4_threadid_struct_t;

typedef union {
  l4_uint32_t raw;           
  l4_threadid_struct_t id;   
} l4_threadid_t;

typedef l4_threadid_t l4_taskid_t;

typedef struct {
  unsigned intr:8;           
  unsigned char zero[3];     
} l4_intrid_struct_t;

typedef union {
  l4_intrid_struct_t id;     
} l4_intrid_t;

#define L4_NIL_ID_INIT       {0}
#define L4_NIL_ID      ((l4_threadid_t)L4_NIL_ID_INIT)  


#define L4_INVALID_ID_INIT   {0xffffffff}
#define L4_INVALID_ID        ((l4_threadid_t)L4_INVALID_ID_INIT) 


L4_INLINE int
l4_is_nil_id(l4_threadid_t id);

L4_INLINE int
l4_is_invalid_id(l4_threadid_t id);

L4_INLINE int
l4_is_irq_id(l4_threadid_t id);

L4_INLINE int
l4_get_irqnr(l4_threadid_t id);

L4_INLINE l4_threadid_t
l4_get_taskid(l4_threadid_t t);

L4_INLINE int
l4_thread_equal(l4_threadid_t t1, l4_threadid_t t2);

L4_INLINE int
l4_task_equal(l4_threadid_t t1, l4_threadid_t t2);

L4_INLINE int
l4_tasknum_equal(l4_threadid_t t1, l4_threadid_t t2);

L4_INLINE void
l4_make_taskid_from_irq(int irq, l4_threadid_t *t);

/*****************************************************************************
 *** L4 flexpages
 *****************************************************************************/

#include <l4/sys/__l4_fpage-32bit.h>

/*****************************************************************************
 *** L4 message dopes
 *****************************************************************************/

typedef struct {
  unsigned msg_deceited:1;   
  unsigned fpage_received:1; 
  unsigned msg_redirected:1; 
  unsigned src_inside:1;     
  unsigned snd_error:1;      
  unsigned error_code:3;     
  unsigned strings:5;        
  unsigned dwords:19;        
} l4_msgdope_struct_t;


typedef union {
  l4_umword_t msgdope;       
  l4_msgdope_struct_t md;    
  l4_umword_t raw;           
} l4_msgdope_t;

typedef struct {
  l4_umword_t snd_size;      
  l4_umword_t snd_str;       
  l4_umword_t rcv_size;      
  l4_umword_t rcv_str;       
} l4_strdope_t;

/*****************************************************************************
 *** L4 timeouts
 *****************************************************************************/

#include <l4/sys/__timeout.h>

/*****************************************************************************
 *** l4_schedule param word
 *****************************************************************************/

typedef struct {
  unsigned prio:8;           
  unsigned small:8;          
  unsigned state:4;          
  unsigned time_exp:4;       
  unsigned time_man:8;       
} l4_sched_param_struct_t;

typedef union {
  l4_umword_t sched_param;   
  l4_sched_param_struct_t sp;
} l4_sched_param_t;

#define L4_INVALID_SCHED_PARAM ((l4_sched_param_t){sched_param:~0UL})

#define L4_SMALL_SPACE(size_mb, nr) ((size_mb >> 2) + nr * (size_mb >> 1))

L4_INLINE int
l4_is_invalid_sched_param(l4_sched_param_t sp);

L4_INLINE void
l4_sched_param_set_time(int us, l4_sched_param_t *p);



/*****************************************************************************
 *** implementations
 *****************************************************************************/

L4_INLINE int
l4_is_invalid_sched_param(l4_sched_param_t sp)
{
  return sp.sched_param == 0xffffffff;
}

L4_INLINE int
l4_is_nil_id(l4_threadid_t id)
{
  return id.raw == 0;
}

L4_INLINE int
l4_is_invalid_id(l4_threadid_t id)
{
  return id.raw == 0xffffffff;
}

L4_INLINE int
l4_is_irq_id(l4_threadid_t id)
{
  return id.raw > 0 && id.raw <= 255;
}

L4_INLINE int
l4_get_irqnr(l4_threadid_t id)
{
  return id.raw - 1;
}

L4_INLINE l4_threadid_t
l4_get_taskid(l4_threadid_t t)
{
  t.id.lthread = 0;
  return t;
}

L4_INLINE int
l4_thread_equal(l4_threadid_t t1, l4_threadid_t t2)
{
  return t1.raw == t2.raw;
}

#define TASK_MASK 0xfffe03ff          
L4_INLINE int
l4_task_equal(l4_threadid_t t1, l4_threadid_t t2)
{
  return (t1.raw & TASK_MASK) == (t2.raw & TASK_MASK);
}

L4_INLINE int
l4_tasknum_equal(l4_threadid_t t1, l4_threadid_t t2)
{
  return (t1.id.task == t2.id.task);
}

L4_INLINE void
l4_make_taskid_from_irq(int irq, l4_threadid_t *t)
{
  t->raw = irq+1;
}

L4_INLINE void
l4_sched_param_set_time(int us, l4_sched_param_t *p)
{
  unsigned m = us;
  unsigned e = 15;

  while (m > 255)
    {
      e--;
      m >>= 2;
    }
  p->sp.time_man = m;
  p->sp.time_exp = e;
}

#endif /* !__L4_TYPES_H__ */

---