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 /memory_mapping.h | |
| 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 'memory_mapping.h')
0 files changed, 0 insertions, 0 deletions