|
@@ -160,7 +160,11 @@ static inline bool kvm_page_empty(void *ptr)
|
|
|
|
|
|
#define kvm_pte_table_empty(kvm, ptep) kvm_page_empty(ptep)
|
|
|
#define kvm_pmd_table_empty(kvm, pmdp) kvm_page_empty(pmdp)
|
|
|
-#define kvm_pud_table_empty(kvm, pudp) (0)
|
|
|
+#define kvm_pud_table_empty(kvm, pudp) false
|
|
|
+
|
|
|
+#define hyp_pte_table_empty(ptep) kvm_page_empty(ptep)
|
|
|
+#define hyp_pmd_table_empty(pmdp) kvm_page_empty(pmdp)
|
|
|
+#define hyp_pud_table_empty(pudp) false
|
|
|
|
|
|
static inline void *kvm_get_hwpgd(struct kvm *kvm)
|
|
|
{
|