Searched defs:tce_value (Results 1 – 2 of 2) sorted by relevance
335 unsigned long tce_value = kvmppc_get_gpr(vcpu, 6); in kvmppc_h_pr_stuff_tce() local
724 unsigned long tce_value, unsigned long npages) in kvmppc_h_stuff_tce()