lookup_vhcache_phci_by_addr
if ((cphci = lookup_vhcache_phci_by_addr(vhcache, ph)) != NULL) {
cpi->cpi_cphci = lookup_vhcache_phci_by_addr(vhcache, ph);