aedc70 make it compile on ARM

Authored and Committed by Paolo Bonzini 10 years ago
    make it compile on ARM
    
        
file added
+203
file modified
+3 -1