|
uint32_t | EventRecorderTimerInit (void) |
| Initialize timer hardware. More...
|
|
uint32_t | EventRecorderTimerGet (void) |
| Get Time from timer hardware. More...
|
|
uint32_t | EventRecorderInitialize (uint32_t recording, uint32_t start) |
| Initialize Event Recorder. More...
|
|
uint32_t | EventRecorderEnable (uint32_t recording, uint32_t comp_start, uint32_t comp_end) |
| Enable recording of events with specified level and component range. More...
|
|
uint32_t | EventRecorderDisable (uint32_t recording, uint32_t comp_start, uint32_t comp_end) |
| Disable recording of events with specified level and component range. More...
|
|
uint32_t | EventRecorderStart (void) |
| Start event recording. More...
|
|
uint32_t | EventRecorderStop (void) |
| Stop event recording. More...
|
|
uint32_t | EventRecordData (uint32_t id, const void *data, uint32_t len) |
| Record an event with variable data size. More...
|
|
uint32_t | EventRecord2 (uint32_t id, uint32_t val1, uint32_t val2) |
| Record an event with two 32-bit data values. More...
|
|
uint32_t | EventRecord4 (uint32_t id, uint32_t val1, uint32_t val2, uint32_t val3, uint32_t val4) |
| Record an event with four 32-bit data values. More...
|
|