file_vault: re-enable support for x86_32

Makes the following succeed again on x86_32: * make run/tresor_tester * make run/file_vault_config_report * depot/create bin/tresor * depot/create bin/file_vault Ref #5148
genodelabs · Mar 26, 2024 · 7bac2ff · 7bac2ff
1 parent 214ac35
commit 7bac2ff
Show file tree

Hide file tree

Showing 10 changed files with 167 additions and 204 deletions.
diff --git a/repos/gems/run/tresor_tester.run b/repos/gems/run/tresor_tester.run
@@ -47,7 +47,7 @@ proc block_io_vfs_ram_mb { } {
 		return [expr 8 * $bench_mb]
 	}
 	# when benchmarks turned off
-	return 10
+	return 36
 }
 
 proc jent_avail { } {

diff --git a/repos/gems/src/app/file_vault/input.h b/repos/gems/src/app/file_vault/input.h
@@ -27,7 +27,7 @@ namespace File_vault {
 
 	class Input_single_line;
 	class Input_passphrase;
-	class Input_number_of_bytes;
+	class Input_number_of_virt_bytes;
 	class Input_number_of_blocks;
 }
 
@@ -181,7 +181,7 @@ class File_vault::Input_passphrase : public Input_single_line
 };
 
 
-class File_vault::Input_number_of_bytes : public Input_single_line
+class File_vault::Input_number_of_virt_bytes : public Input_single_line
 {
 	public:
 
@@ -190,7 +190,7 @@ class File_vault::Input_number_of_bytes : public Input_single_line
 			_print_characters(out);
 		}
 
-		size_t value() const
+		Number_of_disk_bytes value() const
 		{
 			String<32> const str { *this };
 			Number_of_bytes result { 0 };