search

gparmer / cFE2cos

0 stars 1 forks source link

Implement other processor related methods for PSP #8

Open base0x10 opened 8 years ago

base0x10 commented 8 years ago

uint32 CFE_PSP_GetProcessorId(void)

CFE_PSP_GetProcessorId returns the CPU ID as defined by the specific board and BSP.

void CFE_PSP_FlushCaches(uint32 type, cpuaddr address, uint32 size)

This is a BSP specific cache flush routine