fdt.h

Go to the documentation of this file.

 
#ifndef FDT_FDT_H
#define FDT_FDT_H
 
#include "mem_layout/mem_layout.h"
#include "utils/kprintf.h"
 
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
 
#define MAX_MEM_REGIONS 16
 
typedef struct memory_region_t {
    phy_addr base;
 
    uint64_t size;
} memory_region_t;
 
typedef struct memory_map_t {
    memory_region_t regions[MAX_MEM_REGIONS];
 
    int count;
} memory_map_t;
 
typedef enum irq_type_t {
    IRQ_TYPE_SPI = 0x0,
 
    IRQ_TYPE_PPI = 0x1,
} irq_type_t;
 
typedef enum irq_trigger_t {
    IRQ_TRIGGER_EDGE,
 
    IRQ_TRIGGER_LEVEL_HIGH,
} irq_trigger_t;
 
typedef struct interrupt_t {
    irq_type_t type;
 
    uint32_t id;
 
    irq_trigger_t trigger;
} interrupt_t;
 
static inline int32_t interrupt_to_intid(const interrupt_t *const interrupt)
{
    if (interrupt->type == IRQ_TYPE_PPI) {
        return (int32_t)(16U + interrupt->id);
    }
    if (interrupt->type == IRQ_TYPE_SPI) {
        return (int32_t)(32U + interrupt->id);
    }
 
    kprintf("FDT Error: unrecognized interrupt type %d\n", interrupt->type);
    return -1;
}
 
bool check_fdt(const void *ptr);
 
int get_mem(const void *fdt, memory_map_t *mmap);
 
int get_intc_node_offset(const void *fdt);
 
bool fdt_is_error(int offset);
 
char *get_compatible_string(const void *fdt, int node_offset);
 
bool get_reg_property(const void *fdt, int node_offset, memory_map_t *reg_map);
 
int get_intr_property(const void *fdt, int node_offset,
              interrupt_t *out_intr_array, size_t out_intr_array_len);
 
int get_nodes_by_compatible(const void *fdt, const char *compatible,
                int *out_node_offsets, size_t out_node_offsets_len);
 
#endif // FDT_FDT_H