]>
Commit | Line | Data |
---|---|---|
7886cefe RH |
1 | /* |
2 | * Variable page size handling | |
3 | * | |
4 | * Copyright (c) 2003 Fabrice Bellard | |
5 | * | |
6 | * This library is free software; you can redistribute it and/or | |
7 | * modify it under the terms of the GNU Lesser General Public | |
8 | * License as published by the Free Software Foundation; either | |
9 | * version 2 of the License, or (at your option) any later version. | |
10 | * | |
11 | * This library is distributed in the hope that it will be useful, | |
12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
14 | * Lesser General Public License for more details. | |
15 | * | |
16 | * You should have received a copy of the GNU Lesser General Public | |
17 | * License along with this library; if not, see <http://www.gnu.org/licenses/>. | |
18 | */ | |
19 | ||
20 | #include "qemu/osdep.h" | |
21 | #include "qemu-common.h" | |
22 | #include "exec/exec-all.h" | |
23 | ||
24 | #ifdef TARGET_PAGE_BITS_VARY | |
25 | int target_page_bits; | |
26 | bool target_page_bits_decided; | |
27 | #endif | |
28 | ||
29 | bool set_preferred_target_page_bits(int bits) | |
30 | { | |
31 | /* | |
32 | * The target page size is the lowest common denominator for all | |
33 | * the CPUs in the system, so we can only make it smaller, never | |
34 | * larger. And we can't make it smaller once we've committed to | |
35 | * a particular size. | |
36 | */ | |
37 | #ifdef TARGET_PAGE_BITS_VARY | |
38 | assert(bits >= TARGET_PAGE_BITS_MIN); | |
39 | if (target_page_bits == 0 || target_page_bits > bits) { | |
40 | if (target_page_bits_decided) { | |
41 | return false; | |
42 | } | |
43 | target_page_bits = bits; | |
44 | } | |
45 | #endif | |
46 | return true; | |
47 | } | |
48 | ||
49 | void finalize_target_page_bits(void) | |
50 | { | |
51 | #ifdef TARGET_PAGE_BITS_VARY | |
52 | if (target_page_bits == 0) { | |
53 | target_page_bits = TARGET_PAGE_BITS_MIN; | |
54 | } | |
55 | target_page_bits_decided = true; | |
56 | #endif | |
57 | } |