|
@@ -1810,9 +1810,9 @@ int kvm_mmu_init(void)
|
|
|
*/
|
|
|
BUG_ON((hyp_idmap_start ^ (hyp_idmap_end - 1)) & PAGE_MASK);
|
|
|
|
|
|
- kvm_info("IDMAP page: %lx\n", hyp_idmap_start);
|
|
|
- kvm_info("HYP VA range: %lx:%lx\n",
|
|
|
- kern_hyp_va(PAGE_OFFSET), kern_hyp_va(~0UL));
|
|
|
+ kvm_debug("IDMAP page: %lx\n", hyp_idmap_start);
|
|
|
+ kvm_debug("HYP VA range: %lx:%lx\n",
|
|
|
+ kern_hyp_va(PAGE_OFFSET), kern_hyp_va(~0UL));
|
|
|
|
|
|
if (hyp_idmap_start >= kern_hyp_va(PAGE_OFFSET) &&
|
|
|
hyp_idmap_start < kern_hyp_va(~0UL) &&
|