/* as-build-custom.c - Address space composition helper functions.
   Copyright (C) 2008 Free Software Foundation, Inc.
   Written by Neal H. Walfield <neal@gnu.org>.

   This file is part of the GNU Hurd.

   The GNU Hurd is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License as
   published by the Free Software Foundation; either version 3 of the
   License, or (at your option) any later version.

   The GNU Hurd is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see
   <http://www.gnu.org/licenses/>.  */

#include <viengoos/activity.h>
#include <viengoos/addr.h>
#include <viengoos/cap.h>

/* Expose as_slot_ensure_full_custom and as_insert_custom.  */
#define ID_SUFFIX custom
#define OBJECT_INDEX_ARG_TYPE as_object_index_t

#include "as-build.c"

struct vg_cap *
as_ensure_full_custom (vg_activity_t activity,
		       vg_addr_t as_root_addr, struct vg_cap *root, vg_addr_t addr,
		       as_allocate_page_table_t as_allocate_page_table,
		       as_object_index_t object_index)
{
  return as_build_custom (activity, as_root_addr, root, addr,
			  as_allocate_page_table, object_index,
			  true);
}

struct vg_cap *
as_insert_custom (vg_activity_t activity,
		  vg_addr_t as_root_addr, struct vg_cap *root, vg_addr_t addr,
		  vg_addr_t entry_as, struct vg_cap entry, vg_addr_t entry_addr,
		  as_allocate_page_table_t as_allocate_page_table,
		  as_object_index_t object_index)
{
  struct vg_cap *slot = as_build_custom (activity, as_root_addr, root, addr,
				      as_allocate_page_table,
				      object_index, false);
  assert (slot);
  vg_cap_copy_simple (activity,
		      as_root_addr, slot, addr, entry_as, entry, entry_addr);

  return slot;
}