2011-07-26 13:26:04 +02:00
|
|
|
/*
|
2011-11-22 11:06:26 +01:00
|
|
|
* Internal memory management interfaces
|
2011-07-26 13:26:04 +02:00
|
|
|
*
|
|
|
|
* Copyright 2011 Red Hat, Inc. and/or its affiliates
|
|
|
|
*
|
|
|
|
* Authors:
|
|
|
|
* Avi Kivity <avi@redhat.com>
|
|
|
|
*
|
|
|
|
* This work is licensed under the terms of the GNU GPL, version 2. See
|
|
|
|
* the COPYING file in the top-level directory.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef EXEC_MEMORY_H
|
|
|
|
#define EXEC_MEMORY_H
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Internal interfaces between memory.c/exec.c/vl.c. Do not #include unless
|
|
|
|
* you're one of them.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "memory.h"
|
|
|
|
|
|
|
|
#ifndef CONFIG_USER_ONLY
|
|
|
|
|
|
|
|
/* Get the root memory region. This interface should only be used temporarily
|
|
|
|
* until a proper bus interface is available.
|
|
|
|
*/
|
|
|
|
MemoryRegion *get_system_memory(void);
|
|
|
|
|
2011-08-08 15:09:03 +02:00
|
|
|
/* Get the root I/O port region. This interface should only be used
|
|
|
|
* temporarily until a proper bus interface is available.
|
|
|
|
*/
|
|
|
|
MemoryRegion *get_system_io(void);
|
|
|
|
|
2011-07-26 13:26:04 +02:00
|
|
|
/* Set the root memory region. This region is the system memory map. */
|
|
|
|
void set_system_memory_map(MemoryRegion *mr);
|
|
|
|
|
2011-07-26 13:26:08 +02:00
|
|
|
/* Set the I/O memory region. This region is the I/O memory map. */
|
|
|
|
void set_system_io_map(MemoryRegion *mr);
|
|
|
|
|
2011-07-26 13:26:04 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|