c_tmgr_t
c_tmgr_t *c_tbl;
c_tmgr_t *
c_tmgr_t *tbl;
c_tmgr_t *c_tbl;
free_c_table(c_tmgr_t *c_tbl, bool relink)
c_tmgr_t **c_tbl, mmu_short_pte_t **pte, int *a_idx, int *b_idx,
c_tmgr_t *c_tbl; /* C: short page table manager */
c_tmgr_t *pmap_watch_ctbl = 0;
c_tmgr_t *c_tbl;
c_tbl = (c_tmgr_t *) MMU_DTE_PA(b_tbl->bt_dtbl[b_idx]);
c_tmgr_t *c_tbl;
static c_tmgr_t *Ctmgrbase;
c_tmgr_t *c_tbl;
pmap_get_pteinfo(u_int idx, pmap_t *pmap, c_tmgr_t **tbl)
c_tmgr_t *c_tbl;
c_tmgr_t *c_tbl;
c_tmgr_t *c_tbl;
pmap_remove_c(c_tmgr_t *c_tbl, vaddr_t sva, vaddr_t eva)
c_tmgr_t *c_tbl;
static INLINE c_tmgr_t *mmuC2tmgr(mmu_short_pte_t *);
c_tmgr_t *c_tbl;
static INLINE c_tmgr_t *
c_tmgr_t *get_c_table(void);
int free_c_table(c_tmgr_t *, bool);
bool pmap_remove_c(c_tmgr_t *, vaddr_t, vaddr_t);
vaddr_t pmap_get_pteinfo(u_int, pmap_t *, c_tmgr_t **);
bool pmap_stroll(pmap_t, vaddr_t, a_tmgr_t **, b_tmgr_t **, c_tmgr_t **,
(c_tmgr_t *)pmap_bootstrap_alloc(sizeof(c_tmgr_t) * NUM_C_TABLES);