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