On Thu, Aug 21, 2014 at 07:35:21PM +0900, Kengo NAKAHARA wrote: > > Currently intrctl use "14" for both 'ioapic0' and 'ioapic1', this is > a bug... > I fix it as intrctl use "14" for 'ioapic0' on the other hand "38" for > 'ioapic1'. "38" for 'ioapic1' is defined following
I think this is extremely counterintuitive. I think strings should be used in this interface. Thor
