Ignore:
Timestamp:
Jul 12, 2017, 8:12:41 PM (7 years ago)
Author:
alain
Message:

Redefine the PIC device API.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/kernel/kern/cluster.h

    r101 r188  
    133133
    134134    pmgr_t            pmgr;            /*! embedded process manager                       */
     135
     136    void            * pic_extend;      /*! PIC implementation specific extension          */
    135137}
    136138cluster_t;
Note: See TracChangeset for help on using the changeset viewer.