Searched refs:CONSERV_IRQ_BADGE_NCHANNELS (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dbadge.h83 #define CONSERV_IRQ_BADGE_NCHANNELS \ macro
H A Dstate.c107 .numIRQChannels = CONSERV_IRQ_BADGE_NCHANNELS,
/seL4-refos-master/apps/console_server/src/
H A Dbadge.h83 #define CONSERV_IRQ_BADGE_NCHANNELS \ macro
H A Dstate.c107 .numIRQChannels = CONSERV_IRQ_BADGE_NCHANNELS,

Completed in 27 milliseconds