tlb1_write_entry
tlb1_write_entry(&e, i);
tlb1_write_entry(&e, i);
static void tlb1_write_entry(tlb_entry_t *, unsigned int);
tlb1_write_entry(&e, i);
tlb1_write_entry(&e, index);
tlb1_write_entry(&e, -1);
tlb1_write_entry(&e, i);
tlb1_write_entry(&__boot_tlb1[i], i);