131 lines
2.8 KiB
C
131 lines
2.8 KiB
C
/*
|
|
* sconfig, coreboot device tree compiler
|
|
*
|
|
* Copyright (C) 2010 coresystems GmbH
|
|
* written by Patrick Georgi <patrick@georgi-clan.de>
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; version 2 of the License.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*/
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <sys/types.h>
|
|
#include <sys/stat.h>
|
|
#include <unistd.h>
|
|
#include <errno.h>
|
|
|
|
struct resource;
|
|
struct resource {
|
|
int type;
|
|
int index;
|
|
int base;
|
|
struct resource *next;
|
|
};
|
|
|
|
struct reg;
|
|
struct reg {
|
|
char *key;
|
|
char *value;
|
|
struct reg *next;
|
|
};
|
|
|
|
struct pci_irq_info {
|
|
int ioapic_irq_pin;
|
|
int ioapic_dst_id;
|
|
};
|
|
|
|
struct chip {
|
|
/*
|
|
* Monotonically increasing ID for each newly allocated
|
|
* node(chip/device).
|
|
*/
|
|
int id;
|
|
|
|
/* Indicates if chip header exists for this chip. */
|
|
int chiph_exists;
|
|
|
|
/* Name of current chip. */
|
|
char *name;
|
|
|
|
/* Name of current chip normalized to _. */
|
|
char *name_underscore;
|
|
|
|
/* Pointer to registers for this chip. */
|
|
struct reg *reg;
|
|
|
|
/* Pointer to next chip. */
|
|
struct chip *next;
|
|
};
|
|
|
|
struct device;
|
|
struct device {
|
|
int id;
|
|
int enabled;
|
|
int used;
|
|
int multidev;
|
|
int link;
|
|
int rescnt;
|
|
int subsystem_vendor;
|
|
int subsystem_device;
|
|
int inherit_subsystem;
|
|
char *ops;
|
|
char *name;
|
|
char *path;
|
|
int path_a;
|
|
int path_b;
|
|
int bustype;
|
|
struct pci_irq_info pci_irq_info[4];
|
|
|
|
struct device *parent;
|
|
struct device *bus;
|
|
struct device *next;
|
|
struct device *nextdev;
|
|
struct device *children;
|
|
struct device *latestchild;
|
|
struct device *next_sibling;
|
|
struct device *sibling;
|
|
struct resource *res;
|
|
|
|
struct chip *chip;
|
|
};
|
|
|
|
extern struct device *head;
|
|
|
|
struct header;
|
|
struct header {
|
|
char *name;
|
|
int chiph_exists;
|
|
struct header *next;
|
|
};
|
|
|
|
void fold_in(struct device *parent);
|
|
|
|
void postprocess_devtree(void);
|
|
struct chip *new_chip(char *path);
|
|
struct device *new_device(struct device *parent, struct device *busdev,
|
|
struct chip *chip, const int bus, const char *devnum,
|
|
int enabled);
|
|
void alias_siblings(struct device *d);
|
|
void add_resource(struct device *dev, int type, int index, int base);
|
|
void add_register(struct chip *chip, char *name, char *val);
|
|
void add_pci_subsystem_ids(struct device *dev, int vendor, int device,
|
|
int inherit);
|
|
void add_ioapic_info(struct device *dev, int apicid, const char *_srcpin,
|
|
int irqpin);
|
|
|
|
void yyrestart(FILE *input_file);
|
|
|
|
/* Add chip data to tail of queue. */
|
|
void chip_enqueue_tail(void *data);
|
|
|
|
/* Retrieve chip data from tail of queue. */
|
|
void *chip_dequeue_tail(void);
|