blob: ee3f31efb78d0041f7df4e4b42a7285ca7d52dfe [file] [log] [blame]
/*
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_BSD)
*/
#pragma once
#include <sel4/types.h>
#include <assert.h>
#include <autoconf.h>
#include <sel4vka/gen_config.h>
#include <utils/util.h>
#include <vka/sel4_arch/kobject_t.h>
enum _x86_kobject_type {
KOBJECT_IO_PAGETABLE = KOBJECT_MODE_NUM_TYPES,
KOBJECT_PAGE_DIRECTORY,
KOBJECT_PAGE_TABLE,
KOBJECT_ARCH_NUM_TYPES,
};
/*
* Get the size (in bits) of the untyped memory required to
* create an object of the given size.
*/
static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
{
switch (type) {
case KOBJECT_IO_PAGETABLE:
return seL4_IOPageTableBits;
case KOBJECT_FRAME:
switch (objectSize) {
case seL4_PageBits:
case seL4_LargePageBits:
return objectSize;
}
/* If frame size was unknown fall through to default case as it
* might be a mode specific frame size */
default:
return x86_mode_kobject_get_size(type, objectSize);
}
}
static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize)
{
switch (type) {
case KOBJECT_PAGE_DIRECTORY:
return seL4_X86_PageDirectoryObject;
case KOBJECT_PAGE_TABLE:
return seL4_X86_PageTableObject;
case KOBJECT_FRAME:
switch (objectSize) {
case seL4_PageBits:
return seL4_X86_4K;
case seL4_LargePageBits:
return seL4_X86_LargePageObject;
default:
return x86_mode_kobject_get_type(type, objectSize);
}
case KOBJECT_IO_PAGETABLE:
return seL4_X86_IOPageTableObject;
default:
return x86_mode_kobject_get_type(type, objectSize);
}
}