• Charlie Jacobsen's avatar
    Removed utcb from arch-indep lcd. · c73ae4d4
    Charlie Jacobsen authored
    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
lcd-domains-arch.h 10 KB