Searched refs:AT91PS_TCB (Results 1 – 5 of 5) sorted by relevance
1206 } AT91S_TCB, *AT91PS_TCB; typedef1898 #define AT91C_BASE_TCB ((AT91PS_TCB) 0xFFFA0000) // (TCB) Base Address
1295 } AT91S_TCB, *AT91PS_TCB; typedef2689 #define AT91C_BASE_TCB ((AT91PS_TCB) 0xFFFA0000) // (TCB) Base Address
