tlb_entry_t
tlb_entry_t e;
tlb_entry_t e;
tlb1_find_pa(vm_paddr_t pa, tlb_entry_t *e)
tlb_entry_t e;
static void tlb1_read_entry(tlb_entry_t *, unsigned int);
static void tlb1_write_entry(tlb_entry_t *, unsigned int);
tlb_entry_t e;
tlb1_read_entry(tlb_entry_t *entry, unsigned int slot)
tlb_entry_t *e;
tlb_entry_t e;
tlb_entry_t e;
tlb1_write_entry(tlb_entry_t *e, unsigned int idx)
tlb_entry_t e;
extern tlb_entry_t __boot_tlb1[];
tlb_entry_t e;
tlb_entry_t e;
tlb_entry_t e;
tlb_entry_t *e, tmp;