tlb_read_entry
tlb_read_entry(i, &tlb);
tlb_read_entry(i, &tlb);
void tlb_read_entry(size_t, struct tlbmask *) __stub;
tlb_read_entry(i, &tlbmask);
tlb_read_entry(size_t pos, struct tlbmask *tlb)
void tlb_read_entry(size_t, struct tlbmask *);