Subversion Repositories c0or1k

/*
 * Initialize platform timer virtual address
 *
 * Copyright (C) 2010 B Labs Ltd.
 *
 * Bahadir Balban
 */
#include <perf.h>
#include <linker.h>
#include <l4lib/macros.h>
#include L4LIB_INC_ARCH(syslib.h)
#include L4LIB_INC_ARCH(syscalls.h)
 
/* Note this must be obtained from the capability */
#define TIMER_PHYSICAL_BASE		0x10012000
 
unsigned long timer_base;
 
void perf_timer_init(void)
{
	int err;
	struct task_ids ids;
 
	l4_getid(&ids);
 
	/* Initialize timer base */
	timer_base = page_align_up(__stack);
 
	/* Map timer base */
	if ((err = l4_map((void *)TIMER_PHYSICAL_BASE,
			  (void *)timer_base,
			  1, MAP_USR_IO, ids.tid)) < 0) {
		printf("FATAL: Performance tests: Could not map "
		       "timer.\ntimer must be selected as a "
		       "container capability. err=%d\n",
		       err);
		BUG();
	}
}