38a39
> #include "arch/x86/intmessage.hh"
81c82
< entry.deliveryMode = 0x7;
---
> entry.deliveryMode = DeliveryMode::ExtInt;