Searched defs:wstat (Results 1 - 1 of 1) sorted by relevance
/seL4-refos-master/kernel/include/drivers/timer/ | ||
H A D | mct.h | 91 uint32_t wstat; /* 0x24C write status */ member in struct:mct_global_map 105 uint32_t wstat; /* 0x40 Write status */ member in struct:mct_local_map |
Completed in 70 milliseconds