Symbol: TCES_PER_PAGE
arch/powerpc/kvm/book3s_64_vio.c
416
sttpage = idx / TCES_PER_PAGE;
arch/powerpc/kvm/book3s_64_vio.c
430
tbl[idx % TCES_PER_PAGE] = tce;
arch/powerpc/kvm/book3s_64_vio.c
785
page = stt->pages[idx / TCES_PER_PAGE];
arch/powerpc/kvm/book3s_64_vio.c
792
kvmppc_set_gpr(vcpu, 4, tbl[idx % TCES_PER_PAGE]);