Searched refs:get_mmu_ctx_bits (Results 1 – 1 of 1) sorted by relevance
64 static uint64_t get_mmu_ctx_bits(md_t *, mde_cookie_t);502 get_mmu_ctx_bits(md_t *mdp, mde_cookie_t cpu_node_cookie) in get_mmu_ctx_bits() function