Searched refs:dtl_index (Results 1 – 2 of 2) sorted by relevance
807 unsigned long dtl_index; member
667 vcpu->arch.dtl_index = 0; in kvmppc_update_vpas()727 vpa->dtl_idx = cpu_to_be64(++vcpu->arch.dtl_index); in kvmppc_create_dtl_entry()