#include "PreRefDmaManager.h"
#include "Scheduler.h"
#include "TaskManagerImpl.h"

void *
PreRefDmaManager::dma_load(Scheduler *s, void *buf, memaddr addr, uint32 size, uint32 mask)
{
	unsigned long long wait = 0;
	(this->*start_dmawait_profile)();

#ifdef __CERIUM_FIFO__
	asm("prefetcht0 %0"::"m"(addr):"memory");
#endif // __CERIUM_FIFO__

	(this->*end_dmawait_profile)(&wait);
	global_load_time += wait;
	dma_load_time += wait;

	return (void*)addr;
}

void
PreRefDmaManager::free_(void *buf) {
}