This group contains the implementation to support profiling. More...

Files
file	profiling.h
	This header file provides the interfaces of the Profiling Support.

file	profilingisrentryexit.c
	This source file contains the implementation of _Profiling_Outer_most_interrupt_entry_and_exit().

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.

Detailed Description

This group contains the implementation to support profiling.

Function Documentation

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 occurred.
interrupt_exit_instant	The instant in which the interrupt was exited.