X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_decoder.h;h=df1015029d903c80ba4fbebe71ecd0e4c4a2bfa9;hp=c9636d399f3448a1d8dabf66a8f460e2e46141c9;hb=5b6278751429f59297ce74e614d50632daea3748;hpb=03a41b18bdb6ce4bf666f18acdaf302e2360efdc

diff --git a/palacios/include/palacios/vmm_decoder.h b/palacios/include/palacios/vmm_decoder.h
index c9636d3..df10150 100644
--- a/palacios/include/palacios/vmm_decoder.h
+++ b/palacios/include/palacios/vmm_decoder.h
@@ -241,6 +241,7 @@ static inline v3_reg_t get_gpr_mask(struct guest_info * info) {
     return 0xffff;
     break;
   case PROTECTED:
+  case PROTECTED_PAE:
     return 0xffffffff;
   case LONG:
   case LONG_32_COMPAT:
@@ -261,6 +262,7 @@ static inline addr_t get_addr_linear(struct guest_info * info, addr_t addr, stru
 	 break;*/
 
   case PROTECTED:
+  case PROTECTED_PAE:
     return addr + seg->base;
     break;