wake.h

Go to the documentation of this file.

#ifndef NEXUS_IO_WAKE_H
#define NEXUS_IO_WAKE_H
 
#include "nexus/core/status.h"
 
#ifdef __cplusplus
extern "C" {
#endif

typedef struct {
    void* context;
    nx_result_t (*notify)(void* context);
    bool calls_kernel;
} nx_irq_wake_t;

typedef enum {
    NX_IRQ_KERNEL_NONE = 0,
    NX_IRQ_KERNEL_PRIMASK = 1,
    NX_IRQ_KERNEL_BASEPRI = 2
} nx_irq_kernel_policy_t;

typedef struct {
    nx_irq_kernel_policy_t kernel;
    uint16_t external_irq_count;
    uint8_t priority_bits;
    uint8_t syscall_ceiling;
} nx_irq_policy_t;

typedef struct {
    int16_t irq_number;
    uint8_t priority;
    uint8_t priority_group;
} nx_irq_source_t;

nx_result_t nx_irq_wake_validate(const nx_irq_wake_t* wake,
                                 const nx_irq_policy_t* policy,
                                 const nx_irq_source_t* source);

nx_result_t nx_irq_wake_signal(const nx_irq_wake_t* wake);
 
#ifdef __cplusplus
}
#endif
 
#endif