#define CONTEXT_GUEST          1
 #define CONTEXT_GUEST_END      2
 
-#define VSID_REAL_DR   0x7ffffffffff00000
-#define VSID_REAL_IR   0x7fffffffffe00000
-#define VSID_SPLIT_MASK        0x7fffffffffe00000
-#define VSID_REAL      0x7fffffffffc00000
-#define VSID_BAT       0x7fffffffffb00000
-#define VSID_PR                0x8000000000000000
+#define VSID_REAL_DR   0x7ffffffffff00000ULL
+#define VSID_REAL_IR   0x7fffffffffe00000ULL
+#define VSID_SPLIT_MASK        0x7fffffffffe00000ULL
+#define VSID_REAL      0x7fffffffffc00000ULL
+#define VSID_BAT       0x7fffffffffb00000ULL
+#define VSID_PR                0x8000000000000000ULL
 
 extern void kvmppc_mmu_pte_flush(struct kvm_vcpu *vcpu, u64 ea, u64 ea_mask);
 extern void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 vp, u64 vp_mask);