create_result_vma
ref[0] = create_result_vma(A->vm, SZ_64K);
ref[1] = create_result_vma(A->vm, SZ_64K);
result[0] = create_result_vma(A->vm, SZ_64K);
result[1] = create_result_vma(A->vm, SZ_64K);