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.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
2016-06-29 10:12:57 +02:00
|
|
|
#ifndef EXEC_ADDRESS_SPACES_H
|
|
|
|
#define EXEC_ADDRESS_SPACES_H
|
2011-07-26 13:26:04 +02:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Internal interfaces between memory.c/exec.c/vl.c. Do not #include unless
|
|
|
|
* you're one of them.
|
|
|
|
*/
|
|
|
|
|
2012-12-17 18:19:49 +01:00
|
|
|
#include "exec/memory.h"
|
2011-07-26 13:26:04 +02:00
|
|
|
|
|
|
|
#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);
|
|
|
|
|
2012-10-02 20:13:51 +02:00
|
|
|
extern AddressSpace address_space_memory;
|
|
|
|
extern AddressSpace address_space_io;
|
|
|
|
|
2011-07-26 13:26:04 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|