#include <linux/time.h>
#include <linux/timex.h>
#include <linux/clocksource.h>
#include <linux/clockchips.h>
#include <linux/hardirq.h>
#include <linux/sched.h>
#include <linux/smp.h>
#include <linux/delay.h>
#include <linux/module.h>
#include <asm/irq_regs.h>
#include <asm/traps.h>
#include <hv/hypervisor.h>
#include <arch/interrupts.h>
#include <arch/spr_def.h>
Go to the source code of this file.
#define MAX_TICK 0x7fffffff /* we have 31 bits of countdown timer */ |
#define SCHED_CLOCK_SHIFT 10 |
int setup_profiling_timer |
( |
unsigned int |
multiplier | ) |
|