22 (1 << 0) | (1 << 2) | (1 << 4) | (1 << 7) | (1 << 9);
#define printk(level,...)
int get_variant_spd_index(int ram_id, int *dual)
static const uint32_t dual_channel_config
uint32_t gpio_base2_value(const gpio_t gpio[], int num_gpio)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.