Searched refs:dtl_index (Results 1 – 2 of 2) sorted by relevance
813 unsigned long dtl_index; member
711 vcpu->arch.dtl_index = 0; in kvmppc_update_vpas()767 vpa->dtl_idx = cpu_to_be64(++vcpu->arch.dtl_index); in __kvmppc_create_dtl_entry()