write_c0_entrylo1
write_c0_entrylo1(0);
write_c0_entrylo1(0);
write_c0_entrylo1(entrylo);
write_c0_entrylo1(0);
write_c0_entrylo1(0);
write_c0_entrylo1(0);
write_c0_entrylo1(0);
write_c0_entrylo1(0);
write_c0_entrylo1(lo + (HPAGE_SIZE >> 7));
write_c0_entrylo1(pte_to_entrylo(ptep->pte_high));
write_c0_entrylo1(ptep->pte_high);
write_c0_entrylo1(pte_to_entrylo(pte_val(*ptep)));
write_c0_entrylo1(entrylo1);
write_c0_entrylo1(entrylo1);
write_c0_entrylo1(0);
write_c0_entrylo1(0);
write_c0_entrylo1(entrylo1);