1/**
2 * \file
3 * \brief
4 *
5 * \bug Move into different directories
6 */
7
8/*
9 * Copyright (c) 2010, ETH Zurich.
10 * All rights reserved.
11 *
12 * This file is distributed under the terms in the attached LICENSE file.
13 * If you do not find this file, copies can be found by writing to:
14 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
15 */
16
17#include <barrelfish/barrelfish.h>
18#include "../../vspace_internal.h"
19
20/**
21 * \brief Initialize the x86_64 layout
22 */
23errval_t vspace_layout_init(struct vspace_layout *l)
24{
25    l->offset = 0;
26    l->granularity = X86_64_BASE_PAGE_SIZE;
27    l->size = (genvaddr_t)X86_64_PTABLE_SIZE * X86_64_PTABLE_SIZE *
28               X86_64_PTABLE_SIZE * X86_64_PTABLE_SIZE * X86_64_BASE_PAGE_SIZE;
29
30    return SYS_ERR_OK;
31}
32