kmem_i.h

Go to the documentation of this file.

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

#ifndef kmem_i_h
#define kmem_i_h

#include <cstdio>
#include <cstdlib>
#include <cstddef>              // size_t
#include <cstring>              // memset

#include "boot_info.h"
#include "config.h"
#include "cpu.h"
#include "gdt.h"
#include "globals.h"
#include "paging.h"
#include "regdefs.h"
#include "std_macros.h"

#include "cmdline.h"
#include "l4_types.h"
#include "mem_unit.h"
#include "panic.h"
#include "pic.h"

//
// IMPLEMENTATION of inline functions follows
//



inline Address
Kmem::alloc_from_page(Address *from, Address size)
{
  Address ret = *from;
  *from += (size + 0xf) & ~0xf;

  return ret;
}

#endif // kmem_i_h

---