

{  Define reserved asid's for NOS, EI and EIE.

  CONST
    osc$asid_ei = 8000(16),
    osc$asid_eie = 8001(16),
    osc$asid_nos = 0ffff(16);
