---

__l4_fpage-64bit.h

Go to the documentation of this file.

#ifndef __L4_FPAGE_64BIT_H__
#define __L4_FPAGE_64BIT_H__

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

typedef struct {
  unsigned grant:1;          
  unsigned write:1;          
  unsigned size:7;           
  unsigned cache:3;          
  unsigned long page:52;     
} l4_fpage_struct_t;

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

typedef struct {
  unsigned long grant:1;          
  unsigned long zero1:1;          
  unsigned long order:6;          
  unsigned long zero2:4;          
  unsigned long taskno:16;        
  unsigned long f: 36;            
} 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 = 64 
};

#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,
                           (address & L4_PAGEMASK) >> 12 }});
}

L4_INLINE int
l4_is_io_page_fault(unsigned long address)
{
  return (address & 0xfffffffff0000f00UL) == 0xfffffffff0000000UL;
}

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, 0xfffffffff}});
}

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

#endif /* ! __L4_FPAGE_64BIT_H__ */

---