Searched defs:tmp_ret (Results 1 – 1 of 1) sorted by relevance
200 int tmp_ret = vmm_free_region(aspace, (vaddr_t)execute_ptr); in mmu_test_execute() local205 int tmp_ret = vmm_free_region(aspace, (vaddr_t)ptr); in mmu_test_execute() local