add check of vaddr in write