we dont need to handle VGA & Migration memories

This commit is contained in:
Nguyen Anh Quynh
2017-01-20 17:03:39 +08:00
parent fff532fc20
commit ac68745a9c
15 changed files with 4 additions and 368 deletions

View File

@ -16,10 +16,8 @@
#ifndef CONFIG_USER_ONLY
#define DIRTY_MEMORY_VGA 0
#define DIRTY_MEMORY_CODE 1
#define DIRTY_MEMORY_MIGRATION 2
#define DIRTY_MEMORY_NUM 3 /* num of dirty bits */
#define DIRTY_MEMORY_CODE 0
#define DIRTY_MEMORY_NUM 1 /* num of dirty bits */
#include <stdint.h>
#include <stdbool.h>