gwj / at91sam9263 · Files

helper.h 80 Bytes
1 2 3 
#define TCG_HELPER_PROTO
void TCG_HELPER_PROTO helper_tlb_update(uint32_t T0);