map_util.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef map_util_h
#define map_util_h

#include "l4_types.h"
#include "mapdb.h"
#include "std_macros.h"

//
// INTERFACE definition follows 
//


class Space;

Ipc_err
io_map (Space *from, Address fp_from_iopage, Mword fp_from_size,
        bool fp_from_grant, bool fp_from_is_whole_space,
        Space *to, Address fp_to_iopage, Mword fp_to_size,
        bool fp_to_is_iopage, bool fp_to_is_whole_space);

void
io_fpage_unmap(Space *space, L4_fpage fp, bool me_too);

// For IPC mapping purposes, sigma0 addresses 0x40000000-0xbfffffff
// are shifted to 0x80000000-0xffffffff -- ugly but true!
inline void handle_sigma0_adapter_address(Address &phys, unsigned &page_flags);

Mapdb * mapdb_instance();

inline void update_lipc_kip(Space *, Address, Mword, Space *, Address, Mword, Address);

Ipc_err mem_map(Space *from, Address fp_from_page, Mword fp_from_size, bool fp_from_write, bool fp_from_grant, Space *to, Address fp_to_page, Mword fp_to_size, Address offs, bool flush = false);

void mem_fpage_unmap(Space *space, L4_fpage fp, bool me_too, bool only_read_only);

inline void fpage_unmap(Space *space, L4_fpage fp, bool me_too, bool only_read_only);

inline Ipc_err fpage_map(Space *from, L4_fpage fp_from, Space *to, L4_fpage fp_to, Address offs, bool grant);

//
// IMPLEMENTATION includes follow (for use by inline functions)
//


#include "config.h"

//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline void
fpage_unmap(Space *space, L4_fpage fp, bool me_too, bool only_read_only)
{
  if(Config::enable_io_protection && (fp.is_iopage() || fp.is_whole_space()))
    io_fpage_unmap(space, fp, me_too);

  if(!Config::enable_io_protection || !fp.is_iopage())
    mem_fpage_unmap (space, fp, me_too, only_read_only);
}


inline Ipc_err
fpage_map(Space *from, L4_fpage fp_from, Space *to,
          L4_fpage fp_to, Address offs, bool grant)
{
  Ipc_err result(0);

  if (Config::enable_io_protection &&
      (fp_from.is_iopage() || fp_from.is_whole_space()))
    {
      result.combine(io_map(from, 
                            fp_from.iopage(),
                            fp_from.size(),
                            grant,
                            fp_from.is_whole_space(),
                            to, 
                            fp_to.iopage(),
                            fp_to.size(),
                            fp_to.is_iopage(),
                            fp_to.is_whole_space()));
    }

  if (!fp_from.is_iopage())
    {
      result.combine (mem_map (from, 
                               fp_from.page(), 
                               fp_from.size(),
                               fp_from.write(),
                               grant, to, 
                               fp_to.page(),
                               fp_to.size(), offs));
    }

  return result;
}

#endif // map_util_h

---