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