1*dfc56946SRichard Henderson /* 2*dfc56946SRichard Henderson * Internal memory management interfaces 3*dfc56946SRichard Henderson * 4*dfc56946SRichard Henderson * Copyright 2011 Red Hat, Inc. and/or its affiliates 5*dfc56946SRichard Henderson * 6*dfc56946SRichard Henderson * Authors: 7*dfc56946SRichard Henderson * Avi Kivity <avi@redhat.com> 8*dfc56946SRichard Henderson * 9*dfc56946SRichard Henderson * This work is licensed under the terms of the GNU GPL, version 2. See 10*dfc56946SRichard Henderson * the COPYING file in the top-level directory. 11*dfc56946SRichard Henderson * 12*dfc56946SRichard Henderson */ 13*dfc56946SRichard Henderson 14*dfc56946SRichard Henderson #ifndef SYSTEM_ADDRESS_SPACES_H 15*dfc56946SRichard Henderson #define SYSTEM_ADDRESS_SPACES_H 16*dfc56946SRichard Henderson 17*dfc56946SRichard Henderson /* 18*dfc56946SRichard Henderson * Internal interfaces between memory.c/exec.c/vl.c. Do not #include unless 19*dfc56946SRichard Henderson * you're one of them. 20*dfc56946SRichard Henderson */ 21*dfc56946SRichard Henderson 22*dfc56946SRichard Henderson /* Get the root memory region. This interface should only be used temporarily 23*dfc56946SRichard Henderson * until a proper bus interface is available. 24*dfc56946SRichard Henderson */ 25*dfc56946SRichard Henderson MemoryRegion *get_system_memory(void); 26*dfc56946SRichard Henderson 27*dfc56946SRichard Henderson /* Get the root I/O port region. This interface should only be used 28*dfc56946SRichard Henderson * temporarily until a proper bus interface is available. 29*dfc56946SRichard Henderson */ 30*dfc56946SRichard Henderson MemoryRegion *get_system_io(void); 31*dfc56946SRichard Henderson 32*dfc56946SRichard Henderson extern AddressSpace address_space_memory; 33*dfc56946SRichard Henderson extern AddressSpace address_space_io; 34*dfc56946SRichard Henderson 35*dfc56946SRichard Henderson #endif 36