Searched refs:flush_dcache64 (Results 1 - 5 of 5) sorted by relevance
| /xnu-2782.1.97/osfmk/x86_64/ |
| H A D | copyio.c | 321 * flush_dcache64 is currently a nop on the i386...
328 flush_dcache64(src64, csize, 1); /* If requested, flush source before move */
330 flush_dcache64(snk64, csize, 1); /* If requested, flush sink before move */
340 flush_dcache64(src64, csize, 1); /* If requested, flush source after move */
342 flush_dcache64(snk64, csize, 1); /* If requested, flush sink after move */
|
| H A D | loose_ends.c | 95 extern void flush_dcache64(addr64_t addr, unsigned count, int phys);
578 flush_dcache64(addr64_t addr, unsigned count, int phys) function
|
| /xnu-2782.1.97/bsd/libkern/ |
| H A D | libkern.h | 195 extern void flush_dcache64(addr64_t, unsigned, int);
|
| /xnu-2782.1.97/iokit/Kernel/ |
| H A D | IOLib.cpp | 922 flush_dcache64( (addr64_t) address, (unsigned) length, false );
|
| /xnu-2782.1.97/bsd/kern/ |
| H A D | decmpfs.c | 1025 flush_dcache64((addr64_t)(uintptr_t)vec[i].buf, vec[i].size, FALSE);
|
Completed in 30 milliseconds