Searched refs:TCES_PER_PAGE (Results 1 – 2 of 2) sorted by relevance
416 sttpage = idx / TCES_PER_PAGE; in kvmppc_tce_put()430 tbl[idx % TCES_PER_PAGE] = tce; in kvmppc_tce_put()785 page = stt->pages[idx / TCES_PER_PAGE]; in kvmppc_h_get_tce()792 kvmppc_set_gpr(vcpu, 4, tbl[idx % TCES_PER_PAGE]); in kvmppc_h_get_tce()
187 #define TCES_PER_PAGE (PAGE_SIZE / sizeof(u64)) macro