tlb_read_entry
tlb_read_entry(size_t tlbno, struct tlbmask *tlb)
void tlb_read_entry(size_t, struct tlbmask *) __stub;