intc_max32_rv32.h File Reference

MAX32 RV32 interrupt controller API. More...

Go to the source code of this file.

Functions
void	intc_max32_rv32_irq_set_pending (int source)
	Set a pending interrupt in the controller.
void	intc_max32_rv32_irq_clear_pending (int source)
	Clear the pending interrupt line in the controller.

Detailed Description

MAX32 RV32 interrupt controller API.

This API is used to interact with MAX32 RV32 interrupt controller

Function Documentation

intc_max32_rv32_irq_clear_pending()

void intc_max32_rv32_irq_clear_pending

(

int

source

)

Clear the pending interrupt line in the controller.

Parameters

source

the IRQ number to clear any pending status for.

intc_max32_rv32_irq_set_pending()

void intc_max32_rv32_irq_set_pending

(

int

source

)

Set a pending interrupt in the controller.

Parameters

source

the IRQ number to set the pending status for.