wfi.h File Reference

Wait for interrupt. More...

#include <stdint.h>

Go to the source code of this file.

Functions
static void	wait_for_interrupt (void)
	Wait for any interrupt to occur.

Detailed Description

Wait for interrupt.

Definition in file wfi.h.

Function Documentation

wait_for_interrupt()

static void wait_for_interrupt ( void )

inlinestatic

Wait for any interrupt to occur.

Code resumes after the wait once the interrupt has been serviced. Inline version of code that appears in spin1_api so that we can get more compact code. For a description of what this actually does, see the relevant ARM documentation (it's hardware magic, specific to the ARM968).

Definition at line 32 of file wfi.h.