UNIQUE_GUEST_ENTRYHI
write_gc0_entryhi(UNIQUE_GUEST_ENTRYHI(entry));
buf->tlb_hi = UNIQUE_GUEST_ENTRYHI(i);
vcpu->arch.wired_tlb[i].tlb_hi = UNIQUE_GUEST_ENTRYHI(i);