Symbol: VM_LAPIC_LOCAL_IRQ