vtpci_read_ivar
int vtpci_read_ivar(struct vtpci_common *cn, int index, uintptr_t *result);
return (vtpci_read_ivar(cn, index, result));