pub type WHV_VPCI_MMIO_RANGE_FLAGS = i32;