std1.0.0-beta-7 SafeC docs

std :: hal::aarch64

Struct std::GicDist

#include <std/hal/aarch64.h> source

struct GicDist {
    unsigned long base;
}

Fields

§unsigned long basesource

Methods

§void enable_group0()source · definition
§void enable_irq(unsigned int irq)source · definition
§void disable_irq(unsigned int irq)source · definition
§void set_priority(unsigned int irq, unsigned char priority)source · definition
§void set_target(unsigned int irq, unsigned char cpu_mask)source · definition
§void set_config(unsigned int irq, int edge_triggered)source · definition
§int is_pending(unsigned int irq) constsource · definition
§void clear_pending(unsigned int irq)source · definition