Remove some functions which not used. Replace mmu_ctx with va_space.