text: /**
   * \file
   * \brief pmap management wrappers
   */
  
  /*
   * Copyright (c) 2010, ETH Zurich.
   * All rights reserved.
   *
   * This file is distributed under the terms in the attached LICENSE file.
   * If you do not find this file, copies can be found by writing to:
   * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
   */
  
  #ifndef ARCH_ARM_BARRELFISH_PMAP_H
  #define ARCH_ARM_BARRELFISH_PMAP_H
  
  #include <target/arm/barrelfish/pmap_target.h>
  
  struct pmap_dump_info {
      size_t l1index, l2index;
      vregion_flags_t flags;
      struct capref cap;
      genvaddr_t offset;
  };
  #define PRIfmtPTIDX "%zd.%zd"
  #define GET_PTIDX(dump_info) (dump_info)->l1index, (dump_info)->l2index
  
  
  #define ARCH_DEFAULT_PMAP_SIZE sizeof(struct pmap_arm)
  
  errval_t pmap_init(struct pmap *p, struct vspace *v, struct capref vnode,
                     struct slot_allocator *opt_slot_alloc);
  errval_t pmap_current_init(bool);
  
  #endif // ARCH_ARM_BARRELFISH_PMAP_H
  