2012-05-07 06:03:46 +02:00
|
|
|
/*
|
|
|
|
* QEMU memory mapping
|
|
|
|
*
|
|
|
|
* Copyright Fujitsu, Corp. 2011, 2012
|
|
|
|
*
|
|
|
|
* Authors:
|
|
|
|
* Wen Congyang <wency@cn.fujitsu.com>
|
|
|
|
*
|
2012-06-10 21:49:18 +02:00
|
|
|
* This work is licensed under the terms of the GNU GPL, version 2 or later.
|
|
|
|
* See the COPYING file in the top-level directory.
|
2012-05-07 06:03:46 +02:00
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "cpu.h"
|
2012-12-17 18:19:49 +01:00
|
|
|
#include "exec/cpu-all.h"
|
2012-12-17 18:20:04 +01:00
|
|
|
#include "sysemu/memory_mapping.h"
|
2012-05-07 06:03:46 +02:00
|
|
|
|
|
|
|
static void memory_mapping_list_add_mapping_sorted(MemoryMappingList *list,
|
|
|
|
MemoryMapping *mapping)
|
|
|
|
{
|
|
|
|
MemoryMapping *p;
|
|
|
|
|
|
|
|
QTAILQ_FOREACH(p, &list->head, next) {
|
|
|
|
if (p->phys_addr >= mapping->phys_addr) {
|
|
|
|
QTAILQ_INSERT_BEFORE(p, mapping, next);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
QTAILQ_INSERT_TAIL(&list->head, mapping, next);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void create_new_memory_mapping(MemoryMappingList *list,
|
2012-10-23 12:30:10 +02:00
|
|
|
hwaddr phys_addr,
|
|
|
|
hwaddr virt_addr,
|
2012-05-07 06:03:46 +02:00
|
|
|
ram_addr_t length)
|
|
|
|
{
|
|
|
|
MemoryMapping *memory_mapping;
|
|
|
|
|
|
|
|
memory_mapping = g_malloc(sizeof(MemoryMapping));
|
|
|
|
memory_mapping->phys_addr = phys_addr;
|
|
|
|
memory_mapping->virt_addr = virt_addr;
|
|
|
|
memory_mapping->length = length;
|
|
|
|
list->last_mapping = memory_mapping;
|
|
|
|
list->num++;
|
|
|
|
memory_mapping_list_add_mapping_sorted(list, memory_mapping);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool mapping_contiguous(MemoryMapping *map,
|
2012-10-23 12:30:10 +02:00
|
|
|
hwaddr phys_addr,
|
|
|
|
hwaddr virt_addr)
|
2012-05-07 06:03:46 +02:00
|
|
|
{
|
|
|
|
return phys_addr == map->phys_addr + map->length &&
|
|
|
|
virt_addr == map->virt_addr + map->length;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* [map->phys_addr, map->phys_addr + map->length) and
|
|
|
|
* [phys_addr, phys_addr + length) have intersection?
|
|
|
|
*/
|
|
|
|
static inline bool mapping_have_same_region(MemoryMapping *map,
|
2012-10-23 12:30:10 +02:00
|
|
|
hwaddr phys_addr,
|
2012-05-07 06:03:46 +02:00
|
|
|
ram_addr_t length)
|
|
|
|
{
|
|
|
|
return !(phys_addr + length < map->phys_addr ||
|
|
|
|
phys_addr >= map->phys_addr + map->length);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* [map->phys_addr, map->phys_addr + map->length) and
|
|
|
|
* [phys_addr, phys_addr + length) have intersection. The virtual address in the
|
|
|
|
* intersection are the same?
|
|
|
|
*/
|
|
|
|
static inline bool mapping_conflict(MemoryMapping *map,
|
2012-10-23 12:30:10 +02:00
|
|
|
hwaddr phys_addr,
|
|
|
|
hwaddr virt_addr)
|
2012-05-07 06:03:46 +02:00
|
|
|
{
|
|
|
|
return virt_addr - map->virt_addr != phys_addr - map->phys_addr;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* [map->virt_addr, map->virt_addr + map->length) and
|
|
|
|
* [virt_addr, virt_addr + length) have intersection. And the physical address
|
|
|
|
* in the intersection are the same.
|
|
|
|
*/
|
|
|
|
static inline void mapping_merge(MemoryMapping *map,
|
2012-10-23 12:30:10 +02:00
|
|
|
hwaddr virt_addr,
|
2012-05-07 06:03:46 +02:00
|
|
|
ram_addr_t length)
|
|
|
|
{
|
|
|
|
if (virt_addr < map->virt_addr) {
|
|
|
|
map->length += map->virt_addr - virt_addr;
|
|
|
|
map->virt_addr = virt_addr;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ((virt_addr + length) >
|
|
|
|
(map->virt_addr + map->length)) {
|
|
|
|
map->length = virt_addr + length - map->virt_addr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void memory_mapping_list_add_merge_sorted(MemoryMappingList *list,
|
2012-10-23 12:30:10 +02:00
|
|
|
hwaddr phys_addr,
|
|
|
|
hwaddr virt_addr,
|
2012-05-07 06:03:46 +02:00
|
|
|
ram_addr_t length)
|
|
|
|
{
|
|
|
|
MemoryMapping *memory_mapping, *last_mapping;
|
|
|
|
|
|
|
|
if (QTAILQ_EMPTY(&list->head)) {
|
|
|
|
create_new_memory_mapping(list, phys_addr, virt_addr, length);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
last_mapping = list->last_mapping;
|
|
|
|
if (last_mapping) {
|
|
|
|
if (mapping_contiguous(last_mapping, phys_addr, virt_addr)) {
|
|
|
|
last_mapping->length += length;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
QTAILQ_FOREACH(memory_mapping, &list->head, next) {
|
|
|
|
if (mapping_contiguous(memory_mapping, phys_addr, virt_addr)) {
|
|
|
|
memory_mapping->length += length;
|
|
|
|
list->last_mapping = memory_mapping;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (phys_addr + length < memory_mapping->phys_addr) {
|
|
|
|
/* create a new region before memory_mapping */
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (mapping_have_same_region(memory_mapping, phys_addr, length)) {
|
|
|
|
if (mapping_conflict(memory_mapping, phys_addr, virt_addr)) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* merge this region into memory_mapping */
|
|
|
|
mapping_merge(memory_mapping, virt_addr, length);
|
|
|
|
list->last_mapping = memory_mapping;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* this region can not be merged into any existed memory mapping. */
|
|
|
|
create_new_memory_mapping(list, phys_addr, virt_addr, length);
|
|
|
|
}
|
|
|
|
|
|
|
|
void memory_mapping_list_free(MemoryMappingList *list)
|
|
|
|
{
|
|
|
|
MemoryMapping *p, *q;
|
|
|
|
|
|
|
|
QTAILQ_FOREACH_SAFE(p, &list->head, next, q) {
|
|
|
|
QTAILQ_REMOVE(&list->head, p, next);
|
|
|
|
g_free(p);
|
|
|
|
}
|
|
|
|
|
|
|
|
list->num = 0;
|
|
|
|
list->last_mapping = NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
void memory_mapping_list_init(MemoryMappingList *list)
|
|
|
|
{
|
|
|
|
list->num = 0;
|
|
|
|
list->last_mapping = NULL;
|
|
|
|
QTAILQ_INIT(&list->head);
|
|
|
|
}
|
2012-05-07 06:06:40 +02:00
|
|
|
|
|
|
|
static CPUArchState *find_paging_enabled_cpu(CPUArchState *start_cpu)
|
|
|
|
{
|
|
|
|
CPUArchState *env;
|
|
|
|
|
|
|
|
for (env = start_cpu; env != NULL; env = env->next_cpu) {
|
|
|
|
if (cpu_paging_enabled(env)) {
|
|
|
|
return env;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
int qemu_get_guest_memory_mapping(MemoryMappingList *list)
|
|
|
|
{
|
|
|
|
CPUArchState *env, *first_paging_enabled_cpu;
|
|
|
|
RAMBlock *block;
|
|
|
|
ram_addr_t offset, length;
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
first_paging_enabled_cpu = find_paging_enabled_cpu(first_cpu);
|
|
|
|
if (first_paging_enabled_cpu) {
|
|
|
|
for (env = first_paging_enabled_cpu; env != NULL; env = env->next_cpu) {
|
|
|
|
ret = cpu_get_memory_mapping(list, env);
|
|
|
|
if (ret < 0) {
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If the guest doesn't use paging, the virtual address is equal to physical
|
|
|
|
* address.
|
|
|
|
*/
|
2012-11-14 15:54:48 +01:00
|
|
|
QTAILQ_FOREACH(block, &ram_list.blocks, next) {
|
2012-05-07 06:06:40 +02:00
|
|
|
offset = block->offset;
|
|
|
|
length = block->length;
|
|
|
|
create_new_memory_mapping(list, offset, offset, length);
|
|
|
|
}
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
2012-05-07 06:07:07 +02:00
|
|
|
|
|
|
|
void qemu_get_guest_simple_memory_mapping(MemoryMappingList *list)
|
|
|
|
{
|
|
|
|
RAMBlock *block;
|
|
|
|
|
2012-11-14 15:54:48 +01:00
|
|
|
QTAILQ_FOREACH(block, &ram_list.blocks, next) {
|
2012-05-07 06:07:07 +02:00
|
|
|
create_new_memory_mapping(list, block->offset, 0, block->length);
|
|
|
|
}
|
|
|
|
}
|
2012-05-07 06:10:47 +02:00
|
|
|
|
|
|
|
void memory_mapping_filter(MemoryMappingList *list, int64_t begin,
|
|
|
|
int64_t length)
|
|
|
|
{
|
|
|
|
MemoryMapping *cur, *next;
|
|
|
|
|
|
|
|
QTAILQ_FOREACH_SAFE(cur, &list->head, next, next) {
|
|
|
|
if (cur->phys_addr >= begin + length ||
|
|
|
|
cur->phys_addr + cur->length <= begin) {
|
|
|
|
QTAILQ_REMOVE(&list->head, cur, next);
|
|
|
|
list->num--;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (cur->phys_addr < begin) {
|
|
|
|
cur->length -= begin - cur->phys_addr;
|
|
|
|
if (cur->virt_addr) {
|
|
|
|
cur->virt_addr += begin - cur->phys_addr;
|
|
|
|
}
|
|
|
|
cur->phys_addr = begin;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (cur->phys_addr + cur->length > begin + length) {
|
|
|
|
cur->length -= cur->phys_addr + cur->length - begin - length;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|