Profiling Support

Profiling support. More...

Files
file	profiling.h
	Profiling Support API.

Functions
void	_Profiling_Outer_most_interrupt_entry_and_exit (Per_CPU_Control *cpu, CPU_Counter_ticks interrupt_entry_instant, CPU_Counter_ticks interrupt_exit_instant)
	Updates the interrupt profiling statistics. More...

Detailed Description

Profiling support.

Function Documentation

_Profiling_Outer_most_interrupt_entry_and_exit()

void _Profiling_Outer_most_interrupt_entry_and_exit	(	Per_CPU_Control *	cpu,
		CPU_Counter_ticks	interrupt_entry_instant,
		CPU_Counter_ticks	interrupt_exit_instant
	)

Updates the interrupt profiling statistics.

Must be called with the interrupt stack and before the thread dispatch disable level is decremented.

Parameters

cpu	The cpu control.
interrupt_entry_instant	The instant that the interrupt occured.
interrupt_exit_instant	The instant in which the interrupt was exited.