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

/seL4-l4v-master/seL4/include/drivers/irq/
H A Dbcm2836-armctrl-ic.h97 uint32_t pmirSet; /* 0x10 */ member in struct:core_regs

Completed in 42 milliseconds