Symbol: hl_mmu_dr_write_pte