28 static const u16 display_clock_from_f0_and_vco[][4] = {
30 { 222, 228, 222, 222, },
31 { 333, 320, 333, 333, },
57 if (!(deven & 2) || no_peg) {
60 "PEG in favor of IGD.\n");
126 gfxsize =
MIN(
MAX(gfxsize, 4), 12);
129 if (!(capid & (1 << (48 - 32))))
#define printk(level,...)
static __always_inline void mchbar_write8(const uintptr_t offset, const uint8_t value)
#define mchbar_clrbits8(addr, clear)
#define mchbar_setbits8(addr, set)
static __always_inline void mchbar_clrsetbits16(uintptr_t offset, uint16_t clear, uint16_t set)
#define mchbar_setbits16(addr, set)
int raminit_read_vco_index(void)
void igd_compute_ggc(sysinfo_t *const sysinfo)
static void disable_igd(const sysinfo_t *const sysinfo)
void init_igd(const sysinfo_t *const sysinfo)
static void enable_igd(const sysinfo_t *const sysinfo, const int no_peg)
static __always_inline void pci_or_config32(const struct device *dev, u16 reg, u32 ormask)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
static __always_inline void pci_and_config16(const struct device *dev, u16 reg, u16 andmask)
static __always_inline void pci_or_config16(const struct device *dev, u16 reg, u16 ormask)
static __always_inline u16 pci_read_config16(const struct device *dev, u16 reg)
static __always_inline u32 pci_read_config32(const struct device *dev, u16 reg)
static __always_inline u8 pci_read_config8(const struct device *dev, u16 reg)
static __always_inline void pci_update_config16(const struct device *dev, u16 reg, u16 mask, u16 or)
static __always_inline void pci_and_config32(const struct device *dev, u16 reg, u32 andmask)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
unsigned int get_uint_option(const char *name, const unsigned int fallback)
#define PCI_DEV(SEGBUS, DEV, FN)