From 31a2207a8e1c39bcf88e527ac62f4e12316920a4 Mon Sep 17 00:00:00 2001 From: Wen Congyang Date: Mon, 7 May 2012 12:05:42 +0800 Subject: Add API to check whether paging mode is enabled This API will be used in the following patch. Signed-off-by: Wen Congyang Signed-off-by: Luiz Capitulino --- target-i386/arch_memory_mapping.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'target-i386/arch_memory_mapping.c') 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; +} -- cgit v1.2.1