---

__l4_fpage-32bit.h

Go to the documentation of this file.

#ifndef __L4_FPAGE_32BIT_H__
#define __L4_FPAGE_32BIT_H__

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

typedef struct {
  unsigned grant:1;          
  unsigned write:1;          
  unsigned size:6;           
  unsigned zero:1;           
  unsigned cache:3;          
  unsigned page:20;          
} l4_fpage_struct_t;

typedef struct {
  unsigned grant:1;          
  unsigned zero1:1;          
  unsigned iosize:6;         
  unsigned zero2:4;          
  unsigned iopage:16;        
  unsigned f: 4;             
} l4_iofpage_struct_t;

typedef struct {
  unsigned grant:1;          
  unsigned zero1:1;          
  unsigned order:6;          
  unsigned one:4;            
  unsigned taskno:16;        
  unsigned f: 4;             
} l4_capfpage_struct_t;

typedef union {
  l4_umword_t fpage;          
  l4_umword_t raw;            
  l4_fpage_struct_t fp;       
  l4_iofpage_struct_t iofp;   
  l4_capfpage_struct_t capfp; 
} l4_fpage_t;

enum
{
  L4_WHOLE_ADDRESS_SPACE = 32 
};

#include <l4/sys/__l4_fpage-common.h>

L4_INLINE l4_fpage_t
l4_fpage(unsigned long address, unsigned int size,
         unsigned char write, unsigned char grant)
{
  return ((l4_fpage_t){fp:{grant, write, size, 0, 0,
                           (address & L4_PAGEMASK) >> 12 }});
}


L4_INLINE int
l4_is_io_page_fault(unsigned long address)
{
  l4_fpage_t t;
  t.fpage = address;
  return t.iofp.f == 0xf && t.iofp.zero2 == 0;
}

L4_INLINE l4_fpage_t
l4_iofpage(unsigned port, unsigned int size,
           unsigned char grant)
{
  return ((l4_fpage_t){iofp:{grant, 0, size, 0, port, 0xf}});
}


L4_INLINE l4_fpage_t
l4_capfpage(unsigned taskno, unsigned int order,
            unsigned char grant)
{
  return ((l4_fpage_t){capfp:{grant, 0, order, 1, taskno, 0xf}});
}

#endif /* ! __L4_FPAGE_32BIT_H__ */

---