
{ This variable indicates to which processor external interrupts should be  sent.

  VAR
    osv$external_interrupt_selector: [XREF] 0 .. 0ff(16);

