DIVIL_LBAR_GPIO
DIVIL_LBAR_GPIO,
gpiobase = BONITO_PCIIO_BASE + (rdmsr(DIVIL_LBAR_GPIO) & 0xff00);
#define MSR_LBAR_GPIO DIVIL_LBAR_GPIO