Source position: cache.inc line 23
procedure DCFlushRangeNoSync(
startaddress: pointer;
len: cuint32
);