---

segment.h

Go to the documentation of this file.

/* $Id: segment.h 30175 2007-09-29 16:11:36Z adam $ */
/*****************************************************************************/
/*****************************************************************************/
#ifndef __L4_SYS__ARCH_X86__SEGMENT_H__
#define __L4_SYS__ARCH_X86__SEGMENT_H__

#ifndef L4API_l4v2
#error This header file can only be used with a L4API version!
#endif

#include <l4/sys/types.h>

L4_INLINE void
fiasco_ldt_set(void *ldt, unsigned int size,
               unsigned int entry_number_start, unsigned int task_nr);

L4_INLINE void
fiasco_gdt_set(void *desc, unsigned int size,
               unsigned int entry_number_start, l4_threadid_t tid);

L4_INLINE unsigned
fiasco_gdt_get_entry_offset(void);

/*****************************************************************************
 *** Implementation
 *****************************************************************************/

L4_INLINE void
fiasco_ldt_set(void *ldt, unsigned int size,
               unsigned int entry_number_start, unsigned int task_nr)
{
  asm("lldt    %%ax    \n\t"
       : /* No output */
       : "a" (ldt),
         "b" (size),
   "c" (entry_number_start),
   "d" (task_nr)
      );
}

L4_INLINE unsigned
fiasco_gdt_get_entry_offset(void)
{
  unsigned offset;

  asm volatile("lldt  %%ax  \n\t"
               : "=b" (offset)
               : "b" (0));

  return offset;
}

#endif /* ! __L4_SYS__ARCH_X86__SEGMENT_H__ */

---