irq.h

// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#ifndef OPENTITAN_SW_DEVICE_LIB_RUNTIME_IRQ_H_
#define OPENTITAN_SW_DEVICE_LIB_RUNTIME_IRQ_H_
 
#include <stdbool.h>
#include <stdint.h>
 
/**
 * Update to the location of vectors as specificed in the linker file
 *
 * The address must be 256-byte aligned.
 */
void irq_set_vector_offset(uintptr_t address);
 
/**
 * Enable / disable ibex globlal interrupts
 */
void irq_global_ctrl(bool en);
 
/**
 * Enable / disable ibex external interrupts
 */
void irq_external_ctrl(bool en);
 
/**
 * Enable / disable ibex timer interrupts
 */
void irq_timer_ctrl(bool en);
 
/**
 * Enable / disable ibex software interrupts
 */
void irq_software_ctrl(bool en);
 
#endif  // OPENTITAN_SW_DEVICE_LIB_RUNTIME_IRQ_H_