write_c0_pwfield
write_c0_pwfield(pgd_i << 24 | pmd_i << 12 | pt_i << 6 | pte_i);
write_c0_pwfield(pgd_i << 24 | pt_i << 6 | pte_i);
write_c0_pwfield(pwfield);