Symbol: mmio_hpte_cache_entry