Lines Matching defs:ipa
15 uintptr_t ipa;
18 ipa = ipa_base;
23 cap = vspace_get_cap(vspace, (void *)ipa);
28 bits = vspace_get_cookie(vspace, (void *)ipa);
35 if (ipa == ipa_base) {
37 pa_base = ret.paddr + (ipa & MASK(bits));
38 /* From here on, ipa and ret.paddr will be aligned */
39 ipa &= ~MASK(bits);
42 if (ret.paddr - pa_base != ipa - ipa_base) {
46 ipa += BIT(bits);
47 } while (ipa - ipa_base < size);