Searched refs:xkb_va_to_mfn (Results 1 – 1 of 1) sorted by relevance
214 static mfn_t xkb_va_to_mfn(xkb_t *, uintptr_t, mfn_t);576 mfn = xkb_va_to_mfn(xkb, pos, tlmfn); in xkb_read_helper()776 xkb_va_to_mfn(xkb_t *xkb, uintptr_t va, mfn_t mfn) in xkb_va_to_mfn() function1494 mfn = xkb_va_to_mfn(xkb, addr, tlmfn); in xkb_vtop()