Showing changes from revision #1 to #2:
Added | Removed | Changed
unsigned int HAL_CleanerSpace(void)
Entry | |
---|---|
- |
Exit | |
---|---|
- | Returns physical address to use for data cache cleaning, or -1 for none. |
This call must return the address of at least 64k of physical space suitable for cache cleaning. This space must be at least 4k aligned, preferably 64k aligned.
If the HAL knows that the CPU core in the machine does not require dedicated space for data cache cleaning, -1 can be returned.
This call is for kernel use only and must not be used by user programs.