diff options
| author | Wen Congyang <wency@cn.fujitsu.com> | 2012-05-07 12:05:42 +0800 |
|---|---|---|
| committer | Luiz Capitulino <lcapitulino@redhat.com> | 2012-06-04 13:49:33 -0300 |
| commit | 31a2207a8e1c39bcf88e527ac62f4e12316920a4 (patch) | |
| tree | 0f2962a00dc5fc1f65d420ef2ca99d4741d69691 /target-i386/arch_memory_mapping.c | |
| parent | fae001f55190b4de511269ca63eb635646d1c7c9 (diff) | |
Add API to check whether paging mode is enabled
This API will be used in the following patch.
Signed-off-by: Wen Congyang <wency@cn.fujitsu.com>
Signed-off-by: Luiz Capitulino <lcapitulino@redhat.com>
Diffstat (limited to 'target-i386/arch_memory_mapping.c')
| -rw-r--r-- | target-i386/arch_memory_mapping.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/target-i386/arch_memory_mapping.c b/target-i386/arch_memory_mapping.c index dd64becf73..bd50e1143a 100644 --- a/target-i386/arch_memory_mapping.c +++ b/target-i386/arch_memory_mapping.c @@ -233,7 +233,7 @@ static void walk_pml4e(MemoryMappingList *list, int cpu_get_memory_mapping(MemoryMappingList *list, CPUArchState *env) { - if (!(env->cr[0] & CR0_PG_MASK)) { + if (!cpu_paging_enabled(env)) { /* paging is disabled */ return 0; } @@ -264,3 +264,8 @@ int cpu_get_memory_mapping(MemoryMappingList *list, CPUArchState *env) return 0; } + +bool cpu_paging_enabled(CPUArchState *env) +{ + return env->cr[0] & CR0_PG_MASK; +} |