#include <stdint.h>

Functions
uintptr_t	vsf_irq_enter (void)
	Notify the kernel of entering interrupt context.

void	vsf_irq_leave (uintptr_t ctx)
	Notify the kernel of leaving interrupt context.

Function Documentation

◆ vsf_irq_enter()

uintptr_t vsf_irq_enter ( void )

Notify the kernel of entering interrupt context.

Returns: uintptr_t: a context value which must be passed back to vsf_irq_leave()

void vsf_irq_leave ( uintptr_t ctx )

Notify the kernel of leaving interrupt context.

Parameters

[in] ctx the context value returned by vsf_irq_enter()