-
Changed to use macro accessor in lcd_arch. I think this is less confusing and less bug prone. So, to access lcd's utcb, do: struct lcd_utcb *utcb; utcb = LCD_ARCH_GET_UTCB(vcpu);
c73ae4d4
Changed to use macro accessor in lcd_arch. I think this is less confusing and less bug prone. So, to access lcd's utcb, do: struct lcd_utcb *utcb; utcb = LCD_ARCH_GET_UTCB(vcpu);