Add API to check whether paging mode is enabled
authorWen Congyang <wency@cn.fujitsu.com>
Mon, 7 May 2012 04:05:42 +0000 (12:05 +0800)
committerLuiz Capitulino <lcapitulino@redhat.com>
Mon, 4 Jun 2012 16:49:33 +0000 (13:49 -0300)
commit31a2207a8e1c39bcf88e527ac62f4e12316920a4
tree0f2962a00dc5fc1f65d420ef2ca99d4741d69691
parentfae001f55190b4de511269ca63eb635646d1c7c9
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>
cpu-all.h
target-i386/arch_memory_mapping.c