html-to-markdown 2.27.2 → 2.27.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/Gemfile.lock +8 -8
- data/ext/html-to-markdown-rb/native/Cargo.toml +1 -1
- data/lib/html_to_markdown/version.rb +1 -1
- data/rust-vendor/getrandom/.cargo-checksum.json +1 -1
- data/rust-vendor/getrandom/.cargo_vcs_info.json +1 -1
- data/rust-vendor/getrandom/CHANGELOG.md +62 -43
- data/rust-vendor/getrandom/Cargo.lock +49 -56
- data/rust-vendor/getrandom/Cargo.toml +2 -2
- data/rust-vendor/getrandom/Cargo.toml.orig +2 -2
- data/rust-vendor/getrandom/src/backends/efi_rng.rs +8 -10
- data/rust-vendor/getrandom/src/backends/getentropy.rs +13 -4
- data/rust-vendor/getrandom/src/backends/linux_android_with_fallback.rs +10 -25
- data/rust-vendor/getrandom/src/backends/netbsd.rs +17 -25
- data/rust-vendor/getrandom/src/backends/rdrand.rs +15 -9
- data/rust-vendor/getrandom/src/backends/rndr.rs +2 -1
- data/rust-vendor/getrandom/src/backends/vxworks.rs +7 -3
- data/rust-vendor/getrandom/src/backends/windows.rs +21 -5
- data/rust-vendor/getrandom/src/utils/lazy_bool.rs +39 -0
- data/rust-vendor/getrandom/src/utils/lazy_ptr.rs +57 -0
- data/rust-vendor/html-to-markdown-rs/Cargo.toml +2 -2
- data/rust-vendor/html-to-markdown-rs/src/converter/text_node.rs +2 -1
- data/rust-vendor/html-to-markdown-rs/tests/issue_216_217_regressions.rs +82 -0
- data/rust-vendor/quote/.cargo-checksum.json +1 -1
- data/rust-vendor/quote/.cargo_vcs_info.json +1 -1
- data/rust-vendor/quote/.github/workflows/ci.yml +2 -2
- data/rust-vendor/quote/Cargo.lock +21 -21
- data/rust-vendor/quote/Cargo.toml +2 -2
- data/rust-vendor/quote/Cargo.toml.orig +2 -2
- data/rust-vendor/quote/README.md +0 -1
- data/rust-vendor/quote/src/lib.rs +1 -1
- data/rust-vendor/quote/src/to_tokens.rs +7 -0
- data/rust-vendor/quote/tests/ui/not-quotable.stderr +1 -1
- data/rust-vendor/quote/tests/ui/not-repeatable.stderr +3 -11
- data/rust-vendor/r-efi/.cargo-checksum.json +1 -1
- data/rust-vendor/r-efi/.cargo_vcs_info.json +1 -1
- data/rust-vendor/r-efi/AUTHORS +1 -0
- data/rust-vendor/r-efi/Cargo.lock +1 -1
- data/rust-vendor/r-efi/Cargo.toml +1 -3
- data/rust-vendor/r-efi/Cargo.toml.orig +1 -5
- data/rust-vendor/r-efi/NEWS.md +16 -0
- data/rust-vendor/r-efi/src/base.rs +1 -1
- data/rust-vendor/r-efi/src/lib.rs +27 -12
- data/rust-vendor/r-efi/src/protocols/absolute_pointer.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/block_io.rs +8 -8
- data/rust-vendor/r-efi/src/protocols/bus_specific_driver_override.rs +2 -2
- data/rust-vendor/r-efi/src/protocols/debug_support.rs +10 -10
- data/rust-vendor/r-efi/src/protocols/debugport.rs +8 -8
- data/rust-vendor/r-efi/src/protocols/decompress.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/device_path_from_text.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/device_path_to_text.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/device_path_utilities.rs +16 -16
- data/rust-vendor/r-efi/src/protocols/disk_io.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/disk_io2.rs +8 -8
- data/rust-vendor/r-efi/src/protocols/driver_binding.rs +6 -6
- data/rust-vendor/r-efi/src/protocols/driver_diagnostics2.rs +2 -2
- data/rust-vendor/r-efi/src/protocols/driver_family_override.rs +2 -2
- data/rust-vendor/r-efi/src/protocols/file.rs +28 -28
- data/rust-vendor/r-efi/src/protocols/graphics_output.rs +6 -6
- data/rust-vendor/r-efi/src/protocols/hii_database.rs +24 -24
- data/rust-vendor/r-efi/src/protocols/hii_font.rs +8 -8
- data/rust-vendor/r-efi/src/protocols/hii_font_ex.rs +10 -10
- data/rust-vendor/r-efi/src/protocols/hii_string.rs +10 -10
- data/rust-vendor/r-efi/src/protocols/ip4.rs +16 -16
- data/rust-vendor/r-efi/src/protocols/ip6.rs +18 -18
- data/rust-vendor/r-efi/src/protocols/load_file.rs +2 -2
- data/rust-vendor/r-efi/src/protocols/loaded_image.rs +2 -2
- data/rust-vendor/r-efi/src/protocols/managed_network.rs +16 -16
- data/rust-vendor/r-efi/src/protocols/memory_attribute.rs +6 -6
- data/rust-vendor/r-efi/src/protocols/mp_services.rs +15 -15
- data/rust-vendor/r-efi/src/protocols/pci_io.rs +26 -26
- data/rust-vendor/r-efi/src/protocols/platform_driver_override.rs +6 -6
- data/rust-vendor/r-efi/src/protocols/rng.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/service_binding.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/shell.rs +81 -81
- data/rust-vendor/r-efi/src/protocols/shell_dynamic_command.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/simple_file_system.rs +2 -2
- data/rust-vendor/r-efi/src/protocols/simple_network.rs +26 -26
- data/rust-vendor/r-efi/src/protocols/simple_text_input.rs +4 -4
- data/rust-vendor/r-efi/src/protocols/simple_text_input_ex.rs +11 -11
- data/rust-vendor/r-efi/src/protocols/simple_text_output.rs +18 -18
- data/rust-vendor/r-efi/src/protocols/tcp4.rs +20 -20
- data/rust-vendor/r-efi/src/protocols/tcp6.rs +18 -18
- data/rust-vendor/r-efi/src/protocols/timestamp.rs +3 -3
- data/rust-vendor/r-efi/src/protocols/udp4.rs +16 -16
- data/rust-vendor/r-efi/src/protocols/udp6.rs +14 -14
- data/rust-vendor/r-efi/src/system.rs +115 -115
- data/rust-vendor/r-efi/src/vendor/intel/console_control.rs +6 -6
- data/rust-vendor/r-efi-5.3.0/.cargo-checksum.json +1 -0
- data/rust-vendor/r-efi-5.3.0/.cargo_vcs_info.json +6 -0
- data/rust-vendor/r-efi-5.3.0/.github/workflows/publish.yml +39 -0
- data/rust-vendor/r-efi-5.3.0/.github/workflows/rust-tests.yml +125 -0
- data/rust-vendor/r-efi-5.3.0/AUTHORS +74 -0
- data/rust-vendor/r-efi-5.3.0/Cargo.lock +16 -0
- data/rust-vendor/r-efi-5.3.0/Cargo.toml +70 -0
- data/rust-vendor/r-efi-5.3.0/Cargo.toml.orig +51 -0
- data/rust-vendor/r-efi-5.3.0/Makefile +85 -0
- data/rust-vendor/r-efi-5.3.0/NEWS.md +301 -0
- data/rust-vendor/r-efi-5.3.0/README.md +99 -0
- data/rust-vendor/r-efi-5.3.0/examples/freestanding.rs +34 -0
- data/rust-vendor/r-efi-5.3.0/examples/gop-query.rs +188 -0
- data/rust-vendor/r-efi-5.3.0/examples/hello-world.rs +55 -0
- data/rust-vendor/r-efi-5.3.0/src/base.rs +993 -0
- data/rust-vendor/r-efi-5.3.0/src/hii.rs +1300 -0
- data/rust-vendor/r-efi-5.3.0/src/lib.rs +182 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/absolute_pointer.rs +69 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/block_io.rs +70 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/bus_specific_driver_override.rs +32 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/debug_support.rs +835 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/debugport.rs +42 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/decompress.rs +37 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/device_path.rs +82 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/device_path_from_text.rs +26 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/device_path_to_text.rs +30 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/device_path_utilities.rs +63 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/disk_io.rs +40 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/disk_io2.rs +58 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/driver_binding.rs +42 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/driver_diagnostics2.rs +38 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/driver_family_override.rs +23 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/file.rs +183 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/graphics_output.rs +103 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/hii_database.rs +299 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/hii_font.rs +87 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/hii_font_ex.rs +107 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/hii_package_list.rs +14 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/hii_string.rs +71 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/ip4.rs +202 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/ip6.rs +264 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/load_file.rs +26 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/load_file2.rs +15 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/loaded_image.rs +39 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/loaded_image_device_path.rs +13 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/managed_network.rs +147 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/memory_attribute.rs +40 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/mp_services.rs +121 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/pci_io.rs +203 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/platform_driver_override.rs +46 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/rng.rs +83 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/service_binding.rs +20 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/shell.rs +295 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/shell_dynamic_command.rs +33 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/shell_parameters.rs +23 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/simple_file_system.rs +26 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/simple_network.rs +196 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/simple_text_input.rs +38 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/simple_text_input_ex.rs +85 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/simple_text_output.rs +86 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/tcp4.rs +224 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/tcp6.rs +202 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/timestamp.rs +32 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/udp4.rs +151 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols/udp6.rs +137 -0
- data/rust-vendor/r-efi-5.3.0/src/protocols.rs +54 -0
- data/rust-vendor/r-efi-5.3.0/src/system.rs +1130 -0
- data/rust-vendor/r-efi-5.3.0/src/vendor/intel/console_control.rs +37 -0
- data/rust-vendor/r-efi-5.3.0/src/vendor.rs +10 -0
- data/rust-vendor/tokio/.cargo-checksum.json +1 -1
- data/rust-vendor/tokio/.cargo_vcs_info.json +1 -1
- data/rust-vendor/tokio/CHANGELOG.md +94 -0
- data/rust-vendor/tokio/Cargo.lock +1549 -0
- data/rust-vendor/tokio/Cargo.toml +96 -83
- data/rust-vendor/tokio/Cargo.toml.orig +7 -7
- data/rust-vendor/tokio/README.md +1 -1
- data/rust-vendor/tokio/src/fs/open_options.rs +4 -1
- data/rust-vendor/tokio/src/fs/read.rs +4 -1
- data/rust-vendor/tokio/src/fs/write.rs +4 -1
- data/rust-vendor/tokio/src/io/async_write.rs +3 -4
- data/rust-vendor/tokio/src/io/poll_evented.rs +23 -1
- data/rust-vendor/tokio/src/io/stderr.rs +15 -1
- data/rust-vendor/tokio/src/io/stdout.rs +14 -0
- data/rust-vendor/tokio/src/io/util/async_write_ext.rs +2 -2
- data/rust-vendor/tokio/src/io/util/write_buf.rs +11 -2
- data/rust-vendor/tokio/src/lib.rs +12 -28
- data/rust-vendor/tokio/src/macros/select.rs +6 -8
- data/rust-vendor/tokio/src/net/tcp/socket.rs +25 -1
- data/rust-vendor/tokio/src/net/tcp/stream.rs +40 -1
- data/rust-vendor/tokio/src/process/unix/pidfd_reaper.rs +1 -41
- data/rust-vendor/tokio/src/runtime/blocking/pool.rs +18 -14
- data/rust-vendor/tokio/src/runtime/builder.rs +10 -4
- data/rust-vendor/tokio/src/runtime/handle.rs +3 -2
- data/rust-vendor/tokio/src/runtime/io/driver/uring.rs +49 -61
- data/rust-vendor/tokio/src/runtime/io/driver.rs +6 -5
- data/rust-vendor/tokio/src/runtime/mod.rs +20 -1
- data/rust-vendor/tokio/src/runtime/runtime.rs +71 -1
- data/rust-vendor/tokio/src/runtime/scheduler/current_thread/mod.rs +24 -8
- data/rust-vendor/tokio/src/runtime/scheduler/multi_thread/worker.rs +5 -0
- data/rust-vendor/tokio/src/runtime/task/core.rs +1 -0
- data/rust-vendor/tokio/src/runtime/task/join.rs +7 -3
- data/rust-vendor/tokio/src/runtime/task/list.rs +5 -3
- data/rust-vendor/tokio/src/runtime/task/mod.rs +0 -5
- data/rust-vendor/tokio/src/runtime/tests/loom_blocking.rs +39 -1
- data/rust-vendor/tokio/src/signal/mod.rs +6 -17
- data/rust-vendor/tokio/src/signal/registry.rs +1 -1
- data/rust-vendor/tokio/src/signal/unix.rs +24 -44
- data/rust-vendor/tokio/src/signal/windows/sys.rs +52 -64
- data/rust-vendor/tokio/src/signal/windows.rs +35 -23
- data/rust-vendor/tokio/src/sync/mpsc/mod.rs +3 -1
- data/rust-vendor/tokio/src/sync/oneshot.rs +13 -0
- data/rust-vendor/tokio/src/sync/rwlock.rs +4 -5
- data/rust-vendor/tokio/src/sync/tests/loom_oneshot.rs +27 -1
- data/rust-vendor/tokio/src/task/blocking.rs +16 -1
- data/rust-vendor/tokio/src/task/builder.rs +2 -2
- data/rust-vendor/tokio/src/task/mod.rs +1 -1
- data/rust-vendor/tokio/src/task/spawn.rs +8 -3
- data/rust-vendor/tokio/src/task/yield_now.rs +13 -23
- data/rust-vendor/tokio/src/time/clock.rs +62 -0
- data/rust-vendor/tokio/src/util/memchr.rs +32 -4
- data/rust-vendor/tokio/src/util/sharded_list.rs +6 -4
- data/rust-vendor/tokio/tests/fs_link.rs +54 -0
- data/rust-vendor/tokio/tests/io_async_fd_memory_leak.rs +209 -0
- data/rust-vendor/tokio/tests/io_write_buf.rs +56 -0
- data/rust-vendor/tokio/tests/process_issue_7144.rs +8 -0
- data/rust-vendor/tokio/tests/rt_basic.rs +41 -0
- data/rust-vendor/tokio/tests/rt_common_before_park.rs +92 -0
- data/rust-vendor/tokio/tests/rt_metrics.rs +1 -1
- data/rust-vendor/tokio/tests/rt_panic.rs +12 -0
- data/rust-vendor/tokio/tests/rt_shutdown_err.rs +82 -0
- data/rust-vendor/tokio/tests/rt_threaded.rs +49 -1
- data/rust-vendor/tokio/tests/rt_unstable_metrics.rs +32 -0
- data/rust-vendor/tokio/tests/tcp_connect.rs +2 -3
- data/rust-vendor/tokio/tests/tcp_shutdown.rs +1 -3
- data/rust-vendor/tokio/tests/tcp_socket.rs +3 -4
- data/rust-vendor/tokio/tests/tcp_stream.rs +3 -0
- metadata +78 -3
- data/rust-vendor/getrandom/src/utils/lazy.rs +0 -64
|
@@ -0,0 +1,993 @@
|
|
|
1
|
+
//! UEFI Base Environment
|
|
2
|
+
//!
|
|
3
|
+
//! This module defines the base environment for UEFI development. It provides types and macros as
|
|
4
|
+
//! declared in the UEFI specification, as well as de-facto standard additions provided by the
|
|
5
|
+
//! reference implementation by Intel.
|
|
6
|
+
//!
|
|
7
|
+
//! # Target Configuration
|
|
8
|
+
//!
|
|
9
|
+
//! Wherever possible, native rust types are used to represent their UEFI counter-parts. However,
|
|
10
|
+
//! this means the ABI depends on the implementation of said rust types. Hence, native rust types
|
|
11
|
+
//! are only used where rust supports a stable ABI of said types, and their ABI matches the ABI
|
|
12
|
+
//! defined by the UEFI specification.
|
|
13
|
+
//!
|
|
14
|
+
//! Nevertheless, even if the ABI of a specific type is marked stable, this does not imply that it
|
|
15
|
+
//! is the same across architectures. For instance, rust's `u64` type has the same binary
|
|
16
|
+
//! representation as the `UINT64` type in UEFI. But this does not imply that it has the same
|
|
17
|
+
//! binary representation on `x86_64` and on `ppc64be`. As a result of this, the compilation of
|
|
18
|
+
//! this module is tied to the target-configuration you passed to the rust compiler. Wherever
|
|
19
|
+
//! possible and reasonable, any architecture differences are abstracted, though. This means that
|
|
20
|
+
//! in most cases you can use this module even though your target-configuration might not match
|
|
21
|
+
//! the native UEFI target-configuration.
|
|
22
|
+
//!
|
|
23
|
+
//! The recommend way to compile your code, is to use the native target-configuration for UEFI.
|
|
24
|
+
//! These configurations are not necessarily included in the upstream rust compiler. Hence, you
|
|
25
|
+
//! might have to craft one yourself. For all systems that we can test on, we make sure to push
|
|
26
|
+
//! the target configuration into upstream rust-lang.
|
|
27
|
+
//!
|
|
28
|
+
//! However, there are situations where you want to access UEFI data from a non-native host. For
|
|
29
|
+
//! instance, a UEFI boot loader might store data in boot variables, formatted according to types
|
|
30
|
+
//! declared in the UEFI specification. An OS booted thereafter might want to access these
|
|
31
|
+
//! variables, but it might be compiled with a different target-configuration than the UEFI
|
|
32
|
+
//! environment that it was booted from. A similar situation occurs when you call UEFI runtime
|
|
33
|
+
//! functions from your OS. In all those cases, you should very likely be able to use this module
|
|
34
|
+
//! to interact with UEFI as well. This is, because most bits of the target-configuration of UEFI
|
|
35
|
+
//! and your OS very likely match. In fact, to figure out whether this is safe, you need to make
|
|
36
|
+
//! sure that the rust ABI would match in both target-configurations. If it is, all other details
|
|
37
|
+
//! are handled within this module just fine.
|
|
38
|
+
//!
|
|
39
|
+
//! In case of doubt, contact us!
|
|
40
|
+
//!
|
|
41
|
+
//! # Core Primitives
|
|
42
|
+
//!
|
|
43
|
+
//! Several of the UEFI primitives are represented by native Rust. These have no type aliases or
|
|
44
|
+
//! other definitions here, but you are recommended to use native rust directly. These include:
|
|
45
|
+
//!
|
|
46
|
+
//! * `NULL`, `void *`: Void pointers have a native rust implementation in
|
|
47
|
+
//! [`c_void`](core::ffi::c_void). `NULL` is represented through
|
|
48
|
+
//! [`null`](core::ptr::null) and [`is_null()`](core::ptr) for
|
|
49
|
+
//! all pointer types.
|
|
50
|
+
//! * `uint8_t`..`uint64_t`,
|
|
51
|
+
//! `int8_t`..`int64_t`: Fixed-size integers are represented by their native rust equivalents
|
|
52
|
+
//! (`u8`..`u64`, `i8`..`i64`).
|
|
53
|
+
//!
|
|
54
|
+
//! * `UINTN`, `INTN`: Native-sized (or instruction-width sized) integers are represented by
|
|
55
|
+
//! their native rust equivalents (`usize`, `isize`).
|
|
56
|
+
//!
|
|
57
|
+
//! # UEFI Details
|
|
58
|
+
//!
|
|
59
|
+
//! The UEFI Specification describes its target environments in detail. Each supported
|
|
60
|
+
//! architecture has a separate section with details on calling conventions, CPU setup, and more.
|
|
61
|
+
//! You are highly recommended to conduct the UEFI Specification for details on the programming
|
|
62
|
+
//! environment. Following a summary of key parts relevant to rust developers:
|
|
63
|
+
//!
|
|
64
|
+
//! * Similar to rust, integers are either fixed-size, or native size. This maps nicely to the
|
|
65
|
+
//! native rust types. The common `long`, `int`, `short` types known from ISO-C are not used.
|
|
66
|
+
//! Whenever you refer to memory (either pointing to it, or remember the size of a memory
|
|
67
|
+
//! block), the native size integers should be your tool of choice.
|
|
68
|
+
//!
|
|
69
|
+
//! * Even though the CPU might run in any endianness, all stored data is little-endian. That
|
|
70
|
+
//! means, if you encounter integers split into byte-arrays (e.g.,
|
|
71
|
+
//! `CEfiDevicePathProtocol.length`), you must assume it is little-endian encoded. But if you
|
|
72
|
+
//! encounter native integers, you must assume they are encoded in native endianness.
|
|
73
|
+
//! For now the UEFI specification only defines little-endian architectures, hence this did not
|
|
74
|
+
//! pop up as actual issue. Future extensions might change this, though.
|
|
75
|
+
//!
|
|
76
|
+
//! * The Microsoft calling-convention is used. That is, all external calls to UEFI functions
|
|
77
|
+
//! follow a calling convention that is very similar to that used on Microsoft Windows. All
|
|
78
|
+
//! such ABI functions must be marked with the right calling-convention. The UEFI Specification
|
|
79
|
+
//! defines some additional common rules for all its APIs, though. You will most likely not see
|
|
80
|
+
//! any of these mentioned in the individual API documentions. So here is a short reminder:
|
|
81
|
+
//!
|
|
82
|
+
//! * Pointers must reference physical-memory locations (no I/O mappings, no
|
|
83
|
+
//! virtual addresses, etc.). Once ExitBootServices() was called, and the
|
|
84
|
+
//! virtual address mapping was set, you must provide virtual-memory
|
|
85
|
+
//! locations instead.
|
|
86
|
+
//! * Pointers must be correctly aligned.
|
|
87
|
+
//! * NULL is disallowed, unless explicitly mentioned otherwise.
|
|
88
|
+
//! * Data referenced by pointers is undefined on error-return from a
|
|
89
|
+
//! function.
|
|
90
|
+
//! * You must not pass data larger than native-size (sizeof(CEfiUSize)) on
|
|
91
|
+
//! the stack. You must pass them by reference.
|
|
92
|
+
//!
|
|
93
|
+
//! * Stack size is at least 128KiB and 16-byte aligned. All stack space might be marked
|
|
94
|
+
//! non-executable! Once ExitBootServices() was called, you must guarantee at least 4KiB of
|
|
95
|
+
//! stack space, 16-byte aligned for all runtime services you call.
|
|
96
|
+
//! Details might differ depending on architectures. But the numbers here should serve as
|
|
97
|
+
//! ball-park figures.
|
|
98
|
+
|
|
99
|
+
// Target Architecture
|
|
100
|
+
//
|
|
101
|
+
// The UEFI Specification explicitly lists all supported target architectures. While external
|
|
102
|
+
// implementors are free to port UEFI to other targets, we need information on the target
|
|
103
|
+
// architecture to successfully compile for it. This includes calling-conventions, register
|
|
104
|
+
// layouts, endianness, and more. Most of these details are hidden in the rust-target-declaration.
|
|
105
|
+
// However, some details are still left to the actual rust code.
|
|
106
|
+
//
|
|
107
|
+
// This initial check just makes sure the compilation is halted with a suitable error message if
|
|
108
|
+
// the target architecture is not supported.
|
|
109
|
+
//
|
|
110
|
+
// We try to minimize conditional compilations as much as possible. A simple search for
|
|
111
|
+
// `target_arch` should reveal all uses throughout the code-base. If you add your target to this
|
|
112
|
+
// error-check, you must adjust all other uses as well.
|
|
113
|
+
//
|
|
114
|
+
// Similarly, UEFI only defines configurations for little-endian architectures so far. Several
|
|
115
|
+
// bits of the specification are thus unclear how they would be applied on big-endian systems. We
|
|
116
|
+
// therefore mark it as unsupported. If you override this, you are on your own.
|
|
117
|
+
#[cfg(not(any(
|
|
118
|
+
target_arch = "arm",
|
|
119
|
+
target_arch = "aarch64",
|
|
120
|
+
target_arch = "riscv64",
|
|
121
|
+
target_arch = "x86",
|
|
122
|
+
target_arch = "x86_64"
|
|
123
|
+
)))]
|
|
124
|
+
compile_error!("The target architecture is not supported.");
|
|
125
|
+
#[cfg(not(target_endian = "little"))]
|
|
126
|
+
compile_error!("The target endianness is not supported.");
|
|
127
|
+
|
|
128
|
+
// eficall_abi!()
|
|
129
|
+
//
|
|
130
|
+
// This macro is the architecture-dependent implementation of eficall!(). See the documentation of
|
|
131
|
+
// the eficall!() macro for a description. Nowadays, this simply maps to `extern "efiapi"`, since
|
|
132
|
+
// this has been stabilized with rust-1.68.
|
|
133
|
+
|
|
134
|
+
#[macro_export]
|
|
135
|
+
#[doc(hidden)]
|
|
136
|
+
macro_rules! eficall_abi {
|
|
137
|
+
(($($prefix:tt)*),($($suffix:tt)*)) => { $($prefix)* extern "efiapi" $($suffix)* };
|
|
138
|
+
}
|
|
139
|
+
|
|
140
|
+
/// Annotate function with UEFI calling convention
|
|
141
|
+
///
|
|
142
|
+
/// Since rust-1.68 you can use `extern "efiapi"` as calling-convention to achieve the same
|
|
143
|
+
/// behavior as this macro. This macro is kept for backwards-compatibility only, but will nowadays
|
|
144
|
+
/// map to `extern "efiapi"`.
|
|
145
|
+
///
|
|
146
|
+
/// This macro takes a function-declaration as argument and produces the same function-declaration
|
|
147
|
+
/// but annotated with the correct calling convention. Since the default `extern "C"` annotation
|
|
148
|
+
/// depends on your compiler defaults, we cannot use it. Instead, this macro selects the default
|
|
149
|
+
/// for your target platform.
|
|
150
|
+
///
|
|
151
|
+
/// Ideally, the macro would expand to `extern "<abi>"` so you would be able to write:
|
|
152
|
+
///
|
|
153
|
+
/// ```ignore
|
|
154
|
+
/// // THIS DOES NOT WORK!
|
|
155
|
+
/// pub fn eficall!{} foobar() {
|
|
156
|
+
/// // ...
|
|
157
|
+
/// }
|
|
158
|
+
/// ```
|
|
159
|
+
///
|
|
160
|
+
/// However, macros are evaluated too late for this to work. Instead, the entire construct must be
|
|
161
|
+
/// wrapped in a macro, which then expands to the same construct but with `extern "<abi>"`
|
|
162
|
+
/// inserted at the correct place:
|
|
163
|
+
///
|
|
164
|
+
/// ```
|
|
165
|
+
/// use r_efi::{eficall, eficall_abi};
|
|
166
|
+
///
|
|
167
|
+
/// eficall!{pub fn foobar() {
|
|
168
|
+
/// // ...
|
|
169
|
+
/// }}
|
|
170
|
+
///
|
|
171
|
+
/// type FooBar = eficall!{fn(u8) -> (u8)};
|
|
172
|
+
/// ```
|
|
173
|
+
///
|
|
174
|
+
/// The `eficall!{}` macro takes either a function-type or function-definition as argument. It
|
|
175
|
+
/// inserts `extern "<abi>"` after the function qualifiers, but before the `fn` keyword.
|
|
176
|
+
///
|
|
177
|
+
/// # Internals
|
|
178
|
+
///
|
|
179
|
+
/// The `eficall!{}` macro tries to parse the function header so it can insert `extern "<abi>"` at
|
|
180
|
+
/// the right place. If, for whatever reason, this does not work with a particular syntax, you can
|
|
181
|
+
/// use the internal `eficall_abi!{}` macro. This macro takes two token-streams as input and
|
|
182
|
+
/// evaluates to the concatenation of both token-streams, but separated by the selected ABI.
|
|
183
|
+
///
|
|
184
|
+
/// For instance, the following 3 type definitions are equivalent, assuming the selected ABI
|
|
185
|
+
/// is "C":
|
|
186
|
+
///
|
|
187
|
+
/// ```
|
|
188
|
+
/// use r_efi::{eficall, eficall_abi};
|
|
189
|
+
///
|
|
190
|
+
/// type FooBar1 = unsafe extern "C" fn(u8) -> (u8);
|
|
191
|
+
/// type FooBar2 = eficall!{unsafe fn(u8) -> (u8)};
|
|
192
|
+
/// type FooBar3 = eficall_abi!{(unsafe), (fn(u8) -> (u8))};
|
|
193
|
+
/// ```
|
|
194
|
+
///
|
|
195
|
+
/// # Calling Conventions
|
|
196
|
+
///
|
|
197
|
+
/// The UEFI specification defines the calling convention for each platform individually. It
|
|
198
|
+
/// usually refers to other standards for details, but adds some restrictions on top. As of this
|
|
199
|
+
/// writing, it mentions:
|
|
200
|
+
///
|
|
201
|
+
/// * aarch32 / arm: The `aapcs` calling-convention is used. It is native to aarch32 and described
|
|
202
|
+
/// in a document called
|
|
203
|
+
/// "Procedure Call Standard for the ARM Architecture". It is openly distributed
|
|
204
|
+
/// by ARM and widely known under the keyword `aapcs`.
|
|
205
|
+
/// * aarch64: The `aapcs64` calling-convention is used. It is native to aarch64 and described in
|
|
206
|
+
/// a document called
|
|
207
|
+
/// "Procedure Call Standard for the ARM 64-bit Architecture (AArch64)". It is openly
|
|
208
|
+
/// distributed by ARM and widely known under the keyword `aapcs64`.
|
|
209
|
+
/// * ia-64: The "P64 C Calling Convention" as described in the
|
|
210
|
+
/// "Itanium Software Conventions and Runtime Architecture Guide". It is also
|
|
211
|
+
/// standardized in the "Intel Itanium SAL Specification".
|
|
212
|
+
/// * RISC-V: The "Standard RISC-V C Calling Convention" is used. The UEFI specification
|
|
213
|
+
/// describes it in detail, but also refers to the official RISC-V resources for
|
|
214
|
+
/// detailed information.
|
|
215
|
+
/// * x86 / ia-32: The `cdecl` C calling convention is used. Originated in the C Language and
|
|
216
|
+
/// originally tightly coupled to C specifics. Unclear whether a formal
|
|
217
|
+
/// specification exists (does anyone know?). Most compilers support it under the
|
|
218
|
+
/// `cdecl` keyword, and in nearly all situations it is the default on x86.
|
|
219
|
+
/// * x86_64 / amd64 / x64: The `win64` calling-convention is used. It is similar to the `sysv64`
|
|
220
|
+
/// convention that is used on most non-windows x86_64 systems, but not
|
|
221
|
+
/// exactly the same. Microsoft provides open documentation on it. See
|
|
222
|
+
/// MSDN "x64 Software Conventions -> Calling Conventions".
|
|
223
|
+
/// The UEFI Specification does not directly refer to `win64`, but
|
|
224
|
+
/// contains a full specification of the calling convention itself.
|
|
225
|
+
///
|
|
226
|
+
/// Note that in most cases the UEFI Specification adds several more restrictions on top of the
|
|
227
|
+
/// common calling-conventions. These restrictions usually do not affect how the compiler will lay
|
|
228
|
+
/// out the function calls. Instead, it usually only restricts the set of APIs that are allowed in
|
|
229
|
+
/// UEFI. Therefore, most compilers already support the calling conventions used on UEFI.
|
|
230
|
+
///
|
|
231
|
+
/// # Variadics
|
|
232
|
+
///
|
|
233
|
+
/// For some reason, the rust compiler allows variadics only in combination with the `"C"` calling
|
|
234
|
+
/// convention, even if the selected calling-convention matches what `"C"` would select on the
|
|
235
|
+
/// target platform. Hence, you will very likely be unable to use variadics with this macro.
|
|
236
|
+
/// Luckily, all of the UEFI functions that use variadics are wrappers around more low-level
|
|
237
|
+
/// accessors, so they are not necessarily required.
|
|
238
|
+
#[macro_export]
|
|
239
|
+
macro_rules! eficall {
|
|
240
|
+
// Muncher
|
|
241
|
+
//
|
|
242
|
+
// The `@munch()` rules are internal and should not be invoked directly. We walk through the
|
|
243
|
+
// input, moving one token after the other from the suffix into the prefix until we find the
|
|
244
|
+
// position where to insert `extern "<abi>"`. This muncher never drops any tokens, hence we
|
|
245
|
+
// can safely match invalid statements just fine, as the compiler will later print proper
|
|
246
|
+
// diagnostics when parsing the macro output.
|
|
247
|
+
// Once done, we invoke the `eficall_abi!{}` macro, which simply inserts the correct ABI.
|
|
248
|
+
(@munch(($($prefix:tt)*),(pub $($suffix:tt)*))) => { eficall!{@munch(($($prefix)* pub),($($suffix)*))} };
|
|
249
|
+
(@munch(($($prefix:tt)*),(unsafe $($suffix:tt)*))) => { eficall!{@munch(($($prefix)* unsafe),($($suffix)*))} };
|
|
250
|
+
(@munch(($($prefix:tt)*),($($suffix:tt)*))) => { eficall_abi!{($($prefix)*),($($suffix)*)} };
|
|
251
|
+
|
|
252
|
+
// Entry Point
|
|
253
|
+
//
|
|
254
|
+
// This captures the entire argument and invokes its own TT-muncher, but splits the input into
|
|
255
|
+
// prefix and suffix, so the TT-muncher can walk through it. Note that initially everything is
|
|
256
|
+
// in the suffix and the prefix is empty.
|
|
257
|
+
($($arg:tt)*) => { eficall!{@munch((),($($arg)*))} };
|
|
258
|
+
}
|
|
259
|
+
|
|
260
|
+
/// Boolean Type
|
|
261
|
+
///
|
|
262
|
+
/// This boolean type works very similar to the rust primitive type of [`bool`]. However, the rust
|
|
263
|
+
/// primitive type has no stable ABI, hence we provide this type to represent booleans on the FFI
|
|
264
|
+
/// interface.
|
|
265
|
+
///
|
|
266
|
+
/// UEFI defines booleans to be 1-byte integers, which can only have the values of `0` or `1`.
|
|
267
|
+
/// However, in practice anything non-zero is considered `true` by nearly all UEFI systems. Hence,
|
|
268
|
+
/// this type implements a boolean over `u8` and maps `0` to `false`, everything else to `true`.
|
|
269
|
+
///
|
|
270
|
+
/// The binary representation of this type is ABI. That is, you are allowed to transmute from and
|
|
271
|
+
/// to `u8`. Furthermore, this type never modifies its binary representation. If it was
|
|
272
|
+
/// initialized as, or transmuted from, a specific integer value, this value will be retained.
|
|
273
|
+
/// However, on the rust side you will never see the integer value. It instead behaves truly as a
|
|
274
|
+
/// boolean. If you need access to the integer value, you have to transmute it back to `u8`.
|
|
275
|
+
#[repr(C)]
|
|
276
|
+
#[derive(Clone, Copy, Debug)]
|
|
277
|
+
// Manual impls for: Default, Eq, Hash, Ord, PartialEq, PartialOrd
|
|
278
|
+
pub struct Boolean(u8);
|
|
279
|
+
|
|
280
|
+
/// Single-byte Character Type
|
|
281
|
+
///
|
|
282
|
+
/// The `Char8` type represents single-byte characters. UEFI defines them to be ASCII compatible,
|
|
283
|
+
/// using the ISO-Latin-1 character set.
|
|
284
|
+
pub type Char8 = u8;
|
|
285
|
+
|
|
286
|
+
/// Dual-byte Character Type
|
|
287
|
+
///
|
|
288
|
+
/// The `Char16` type represents dual-byte characters. UEFI defines them to be UCS-2 encoded.
|
|
289
|
+
pub type Char16 = u16;
|
|
290
|
+
|
|
291
|
+
/// Status Codes
|
|
292
|
+
///
|
|
293
|
+
/// UEFI uses the `Status` type to represent all kinds of status codes. This includes return codes
|
|
294
|
+
/// from functions, but also complex state of different devices and drivers. It is a simple
|
|
295
|
+
/// `usize`, but wrapped in a rust-type to allow us to implement helpers on this type. Depending
|
|
296
|
+
/// on the context, different state is stored in it. Note that it is always binary compatible to a
|
|
297
|
+
/// usize!
|
|
298
|
+
#[repr(C)]
|
|
299
|
+
#[derive(Clone, Copy, Debug, Default)]
|
|
300
|
+
#[derive(Eq, Hash, Ord, PartialEq, PartialOrd)]
|
|
301
|
+
pub struct Status(usize);
|
|
302
|
+
|
|
303
|
+
/// Object Handles
|
|
304
|
+
///
|
|
305
|
+
/// Handles represent access to an opaque object. Handles are untyped by default, but get a
|
|
306
|
+
/// meaning when you combine them with an interface. Internally, they are simple void pointers. It
|
|
307
|
+
/// is the UEFI driver model that applies meaning to them.
|
|
308
|
+
pub type Handle = *mut core::ffi::c_void;
|
|
309
|
+
|
|
310
|
+
/// Event Objects
|
|
311
|
+
///
|
|
312
|
+
/// Event objects represent hooks into the main-loop of a UEFI environment. They allow to register
|
|
313
|
+
/// callbacks, to be invoked when a specific event happens. In most cases you use events to
|
|
314
|
+
/// register timer-based callbacks, as well as chaining events together. Internally, they are
|
|
315
|
+
/// simple void pointers. It is the UEFI task management that applies meaning to them.
|
|
316
|
+
pub type Event = *mut core::ffi::c_void;
|
|
317
|
+
|
|
318
|
+
/// Logical Block Addresses
|
|
319
|
+
///
|
|
320
|
+
/// The LBA type is used to denote logical block addresses of block devices. It is a simple 64-bit
|
|
321
|
+
/// integer, that is used to denote addresses when working with block devices.
|
|
322
|
+
pub type Lba = u64;
|
|
323
|
+
|
|
324
|
+
/// Thread Priority Levels
|
|
325
|
+
///
|
|
326
|
+
/// The process model of UEFI systems is highly simplified. Priority levels are used to order
|
|
327
|
+
/// execution of pending tasks. The TPL type denotes a priority level of a specific task. The
|
|
328
|
+
/// higher the number, the higher the priority. It is a simple integer type, but its range is
|
|
329
|
+
/// usually highly restricted. The UEFI task management provides constants and accessors for TPLs.
|
|
330
|
+
pub type Tpl = usize;
|
|
331
|
+
|
|
332
|
+
/// Physical Memory Address
|
|
333
|
+
///
|
|
334
|
+
/// A simple 64bit integer containing a physical memory address.
|
|
335
|
+
pub type PhysicalAddress = u64;
|
|
336
|
+
|
|
337
|
+
/// Virtual Memory Address
|
|
338
|
+
///
|
|
339
|
+
/// A simple 64bit integer containing a virtual memory address.
|
|
340
|
+
pub type VirtualAddress = u64;
|
|
341
|
+
|
|
342
|
+
/// Application Entry Point
|
|
343
|
+
///
|
|
344
|
+
/// This type defines the entry-point of UEFI applications. It is ABI and cannot be changed.
|
|
345
|
+
/// Whenever you load UEFI images, the entry-point is called with this signature.
|
|
346
|
+
///
|
|
347
|
+
/// In most cases the UEFI image (or application) is unloaded when control returns from the entry
|
|
348
|
+
/// point. In case of UEFI drivers, they can request to stay loaded until an explicit unload.
|
|
349
|
+
///
|
|
350
|
+
/// The system table is provided as mutable pointer. This is, because there is no guarantee that
|
|
351
|
+
/// timer interrupts do not modify the table. Furthermore, exiting boot services causes several
|
|
352
|
+
/// modifications on that table. And lastly, the system table lives longer than the function
|
|
353
|
+
/// invocation, if invoked as an UEFI driver.
|
|
354
|
+
/// In most cases it is perfectly fine to cast the pointer to a real rust reference. However, this
|
|
355
|
+
/// should be an explicit decision by the caller.
|
|
356
|
+
pub type ImageEntryPoint = eficall! {fn(Handle, *mut crate::system::SystemTable) -> Status};
|
|
357
|
+
|
|
358
|
+
/// Globally Unique Identifiers
|
|
359
|
+
///
|
|
360
|
+
/// The `Guid` type represents globally unique identifiers as defined by RFC-4122 (i.e., only the
|
|
361
|
+
/// `10x` variant is used), with the caveat that LE is used instead of BE.
|
|
362
|
+
///
|
|
363
|
+
/// Note that only the binary representation of Guids is stable. You are highly recommended to
|
|
364
|
+
/// interpret Guids as 128bit integers.
|
|
365
|
+
///
|
|
366
|
+
/// The UEFI specification requires the type to be 64-bit aligned, yet EDK2 uses a mere 32-bit
|
|
367
|
+
/// alignment. Hence, for compatibility, a 32-bit alignment is used.
|
|
368
|
+
///
|
|
369
|
+
/// UEFI uses the Microsoft-style Guid format. Hence, a lot of documentation and code refers to
|
|
370
|
+
/// these Guids. If you thusly cannot treat Guids as 128-bit integers, this Guid type allows you
|
|
371
|
+
/// to access the individual fields of the Microsoft-style Guid. A reminder of the Guid encoding:
|
|
372
|
+
///
|
|
373
|
+
/// ```text
|
|
374
|
+
/// 0 1 2 3
|
|
375
|
+
/// 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
|
|
376
|
+
/// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
377
|
+
/// | time_low |
|
|
378
|
+
/// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
379
|
+
/// | time_mid | time_hi_and_version |
|
|
380
|
+
/// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
381
|
+
/// |clk_seq_hi_res | clk_seq_low | node (0-1) |
|
|
382
|
+
/// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
383
|
+
/// | node (2-5) |
|
|
384
|
+
/// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
385
|
+
/// ```
|
|
386
|
+
///
|
|
387
|
+
/// The individual fields are encoded as little-endian. Accessors are provided for the Guid
|
|
388
|
+
/// structure allowing access to these fields in native endian byte order.
|
|
389
|
+
#[repr(C, align(4))]
|
|
390
|
+
#[derive(Clone, Copy, Debug)]
|
|
391
|
+
#[derive(Eq, Hash, Ord, PartialEq, PartialOrd)]
|
|
392
|
+
pub struct Guid {
|
|
393
|
+
time_low: [u8; 4],
|
|
394
|
+
time_mid: [u8; 2],
|
|
395
|
+
time_hi_and_version: [u8; 2],
|
|
396
|
+
clk_seq_hi_res: u8,
|
|
397
|
+
clk_seq_low: u8,
|
|
398
|
+
node: [u8; 6],
|
|
399
|
+
}
|
|
400
|
+
|
|
401
|
+
/// Network MAC Address
|
|
402
|
+
///
|
|
403
|
+
/// This type encapsulates a single networking media access control address
|
|
404
|
+
/// (MAC). It is a simple 32 bytes buffer with no special alignment. Note that
|
|
405
|
+
/// no comparison function are defined by default, since trailing bytes of the
|
|
406
|
+
/// address might be random.
|
|
407
|
+
///
|
|
408
|
+
/// The interpretation of the content differs depending on the protocol it is
|
|
409
|
+
/// used with. See each documentation for details. In most cases this contains
|
|
410
|
+
/// an Ethernet address.
|
|
411
|
+
#[repr(C)]
|
|
412
|
+
#[derive(Clone, Copy, Debug)]
|
|
413
|
+
#[derive(Eq, Hash, Ord, PartialEq, PartialOrd)]
|
|
414
|
+
pub struct MacAddress {
|
|
415
|
+
pub addr: [u8; 32],
|
|
416
|
+
}
|
|
417
|
+
|
|
418
|
+
/// IPv4 Address
|
|
419
|
+
///
|
|
420
|
+
/// Binary representation of an IPv4 address. It is encoded in network byte
|
|
421
|
+
/// order (i.e., big endian). Note that no special alignment restrictions are
|
|
422
|
+
/// defined by the standard specification.
|
|
423
|
+
#[repr(C)]
|
|
424
|
+
#[derive(Clone, Copy, Debug, Default)]
|
|
425
|
+
#[derive(Eq, Hash, Ord, PartialEq, PartialOrd)]
|
|
426
|
+
pub struct Ipv4Address {
|
|
427
|
+
pub addr: [u8; 4],
|
|
428
|
+
}
|
|
429
|
+
|
|
430
|
+
/// IPv6 Address
|
|
431
|
+
///
|
|
432
|
+
/// Binary representation of an IPv6 address, encoded in network byte order
|
|
433
|
+
/// (i.e., big endian). Similar to the IPv4 address, no special alignment
|
|
434
|
+
/// restrictions are defined by the standard specification.
|
|
435
|
+
#[repr(C)]
|
|
436
|
+
#[derive(Clone, Copy, Debug)]
|
|
437
|
+
#[derive(Eq, Hash, Ord, PartialEq, PartialOrd)]
|
|
438
|
+
pub struct Ipv6Address {
|
|
439
|
+
pub addr: [u8; 16],
|
|
440
|
+
}
|
|
441
|
+
|
|
442
|
+
/// IP Address
|
|
443
|
+
///
|
|
444
|
+
/// A union type over the different IP addresses available. Alignment is always
|
|
445
|
+
/// fixed to 4-bytes. Note that trailing bytes might be random, so no
|
|
446
|
+
/// comparison functions are derived.
|
|
447
|
+
#[repr(C, align(4))]
|
|
448
|
+
#[derive(Clone, Copy)]
|
|
449
|
+
pub union IpAddress {
|
|
450
|
+
pub addr: [u32; 4],
|
|
451
|
+
pub v4: Ipv4Address,
|
|
452
|
+
pub v6: Ipv6Address,
|
|
453
|
+
}
|
|
454
|
+
|
|
455
|
+
impl Boolean {
|
|
456
|
+
/// Literal False
|
|
457
|
+
///
|
|
458
|
+
/// This constant represents the `false` value of the `Boolean` type.
|
|
459
|
+
pub const FALSE: Boolean = Boolean(0u8);
|
|
460
|
+
|
|
461
|
+
/// Literal True
|
|
462
|
+
///
|
|
463
|
+
/// This constant represents the `true` value of the `Boolean` type.
|
|
464
|
+
pub const TRUE: Boolean = Boolean(1u8);
|
|
465
|
+
}
|
|
466
|
+
|
|
467
|
+
impl From<u8> for Boolean {
|
|
468
|
+
fn from(v: u8) -> Self {
|
|
469
|
+
Boolean(v)
|
|
470
|
+
}
|
|
471
|
+
}
|
|
472
|
+
|
|
473
|
+
impl From<bool> for Boolean {
|
|
474
|
+
fn from(v: bool) -> Self {
|
|
475
|
+
match v {
|
|
476
|
+
false => Boolean::FALSE,
|
|
477
|
+
true => Boolean::TRUE,
|
|
478
|
+
}
|
|
479
|
+
}
|
|
480
|
+
}
|
|
481
|
+
|
|
482
|
+
impl Default for Boolean {
|
|
483
|
+
fn default() -> Self {
|
|
484
|
+
Self::FALSE
|
|
485
|
+
}
|
|
486
|
+
}
|
|
487
|
+
|
|
488
|
+
impl From<Boolean> for u8 {
|
|
489
|
+
fn from(v: Boolean) -> Self {
|
|
490
|
+
match v.0 {
|
|
491
|
+
0 => 0,
|
|
492
|
+
_ => 1,
|
|
493
|
+
}
|
|
494
|
+
}
|
|
495
|
+
}
|
|
496
|
+
|
|
497
|
+
impl From<Boolean> for bool {
|
|
498
|
+
fn from(v: Boolean) -> Self {
|
|
499
|
+
match v.0 {
|
|
500
|
+
0 => false,
|
|
501
|
+
_ => true,
|
|
502
|
+
}
|
|
503
|
+
}
|
|
504
|
+
}
|
|
505
|
+
|
|
506
|
+
impl Eq for Boolean {}
|
|
507
|
+
|
|
508
|
+
impl core::hash::Hash for Boolean {
|
|
509
|
+
fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
|
|
510
|
+
bool::from(*self).hash(state)
|
|
511
|
+
}
|
|
512
|
+
}
|
|
513
|
+
|
|
514
|
+
impl Ord for Boolean {
|
|
515
|
+
fn cmp(&self, other: &Boolean) -> core::cmp::Ordering {
|
|
516
|
+
bool::from(*self).cmp(&(*other).into())
|
|
517
|
+
}
|
|
518
|
+
}
|
|
519
|
+
|
|
520
|
+
impl PartialEq for Boolean {
|
|
521
|
+
fn eq(&self, other: &Boolean) -> bool {
|
|
522
|
+
bool::from(*self).eq(&(*other).into())
|
|
523
|
+
}
|
|
524
|
+
}
|
|
525
|
+
|
|
526
|
+
impl PartialEq<bool> for Boolean {
|
|
527
|
+
fn eq(&self, other: &bool) -> bool {
|
|
528
|
+
bool::from(*self).eq(other)
|
|
529
|
+
}
|
|
530
|
+
}
|
|
531
|
+
|
|
532
|
+
impl PartialOrd for Boolean {
|
|
533
|
+
fn partial_cmp(&self, other: &Boolean) -> Option<core::cmp::Ordering> {
|
|
534
|
+
bool::from(*self).partial_cmp(&(*other).into())
|
|
535
|
+
}
|
|
536
|
+
}
|
|
537
|
+
|
|
538
|
+
impl PartialOrd<bool> for Boolean {
|
|
539
|
+
fn partial_cmp(&self, other: &bool) -> Option<core::cmp::Ordering> {
|
|
540
|
+
bool::from(*self).partial_cmp(other)
|
|
541
|
+
}
|
|
542
|
+
}
|
|
543
|
+
|
|
544
|
+
impl Status {
|
|
545
|
+
const WIDTH: usize = 8usize * core::mem::size_of::<Status>();
|
|
546
|
+
const MASK: usize = 0xc0 << (Status::WIDTH - 8);
|
|
547
|
+
const ERROR_MASK: usize = 0x80 << (Status::WIDTH - 8);
|
|
548
|
+
const WARNING_MASK: usize = 0x00 << (Status::WIDTH - 8);
|
|
549
|
+
|
|
550
|
+
/// Success Code
|
|
551
|
+
///
|
|
552
|
+
/// This code represents a successfull function invocation. Its value is guaranteed to be 0.
|
|
553
|
+
/// However, note that warnings are considered success as well, so this is not the only code
|
|
554
|
+
/// that can be returned by UEFI functions on success. However, in nearly all situations
|
|
555
|
+
/// warnings are not allowed, so the effective result will be SUCCESS.
|
|
556
|
+
pub const SUCCESS: Status = Status::from_usize(0);
|
|
557
|
+
|
|
558
|
+
// List of predefined error codes
|
|
559
|
+
pub const LOAD_ERROR: Status = Status::from_usize(1 | Status::ERROR_MASK);
|
|
560
|
+
pub const INVALID_PARAMETER: Status = Status::from_usize(2 | Status::ERROR_MASK);
|
|
561
|
+
pub const UNSUPPORTED: Status = Status::from_usize(3 | Status::ERROR_MASK);
|
|
562
|
+
pub const BAD_BUFFER_SIZE: Status = Status::from_usize(4 | Status::ERROR_MASK);
|
|
563
|
+
pub const BUFFER_TOO_SMALL: Status = Status::from_usize(5 | Status::ERROR_MASK);
|
|
564
|
+
pub const NOT_READY: Status = Status::from_usize(6 | Status::ERROR_MASK);
|
|
565
|
+
pub const DEVICE_ERROR: Status = Status::from_usize(7 | Status::ERROR_MASK);
|
|
566
|
+
pub const WRITE_PROTECTED: Status = Status::from_usize(8 | Status::ERROR_MASK);
|
|
567
|
+
pub const OUT_OF_RESOURCES: Status = Status::from_usize(9 | Status::ERROR_MASK);
|
|
568
|
+
pub const VOLUME_CORRUPTED: Status = Status::from_usize(10 | Status::ERROR_MASK);
|
|
569
|
+
pub const VOLUME_FULL: Status = Status::from_usize(11 | Status::ERROR_MASK);
|
|
570
|
+
pub const NO_MEDIA: Status = Status::from_usize(12 | Status::ERROR_MASK);
|
|
571
|
+
pub const MEDIA_CHANGED: Status = Status::from_usize(13 | Status::ERROR_MASK);
|
|
572
|
+
pub const NOT_FOUND: Status = Status::from_usize(14 | Status::ERROR_MASK);
|
|
573
|
+
pub const ACCESS_DENIED: Status = Status::from_usize(15 | Status::ERROR_MASK);
|
|
574
|
+
pub const NO_RESPONSE: Status = Status::from_usize(16 | Status::ERROR_MASK);
|
|
575
|
+
pub const NO_MAPPING: Status = Status::from_usize(17 | Status::ERROR_MASK);
|
|
576
|
+
pub const TIMEOUT: Status = Status::from_usize(18 | Status::ERROR_MASK);
|
|
577
|
+
pub const NOT_STARTED: Status = Status::from_usize(19 | Status::ERROR_MASK);
|
|
578
|
+
pub const ALREADY_STARTED: Status = Status::from_usize(20 | Status::ERROR_MASK);
|
|
579
|
+
pub const ABORTED: Status = Status::from_usize(21 | Status::ERROR_MASK);
|
|
580
|
+
pub const ICMP_ERROR: Status = Status::from_usize(22 | Status::ERROR_MASK);
|
|
581
|
+
pub const TFTP_ERROR: Status = Status::from_usize(23 | Status::ERROR_MASK);
|
|
582
|
+
pub const PROTOCOL_ERROR: Status = Status::from_usize(24 | Status::ERROR_MASK);
|
|
583
|
+
pub const INCOMPATIBLE_VERSION: Status = Status::from_usize(25 | Status::ERROR_MASK);
|
|
584
|
+
pub const SECURITY_VIOLATION: Status = Status::from_usize(26 | Status::ERROR_MASK);
|
|
585
|
+
pub const CRC_ERROR: Status = Status::from_usize(27 | Status::ERROR_MASK);
|
|
586
|
+
pub const END_OF_MEDIA: Status = Status::from_usize(28 | Status::ERROR_MASK);
|
|
587
|
+
pub const END_OF_FILE: Status = Status::from_usize(31 | Status::ERROR_MASK);
|
|
588
|
+
pub const INVALID_LANGUAGE: Status = Status::from_usize(32 | Status::ERROR_MASK);
|
|
589
|
+
pub const COMPROMISED_DATA: Status = Status::from_usize(33 | Status::ERROR_MASK);
|
|
590
|
+
pub const IP_ADDRESS_CONFLICT: Status = Status::from_usize(34 | Status::ERROR_MASK);
|
|
591
|
+
pub const HTTP_ERROR: Status = Status::from_usize(35 | Status::ERROR_MASK);
|
|
592
|
+
|
|
593
|
+
// List of error codes from protocols
|
|
594
|
+
// UDP4
|
|
595
|
+
pub const NETWORK_UNREACHABLE: Status = Status::from_usize(100 | Status::ERROR_MASK);
|
|
596
|
+
pub const HOST_UNREACHABLE: Status = Status::from_usize(101 | Status::ERROR_MASK);
|
|
597
|
+
pub const PROTOCOL_UNREACHABLE: Status = Status::from_usize(102 | Status::ERROR_MASK);
|
|
598
|
+
pub const PORT_UNREACHABLE: Status = Status::from_usize(103 | Status::ERROR_MASK);
|
|
599
|
+
// TCP4
|
|
600
|
+
pub const CONNECTION_FIN: Status = Status::from_usize(104 | Status::ERROR_MASK);
|
|
601
|
+
pub const CONNECTION_RESET: Status = Status::from_usize(105 | Status::ERROR_MASK);
|
|
602
|
+
pub const CONNECTION_REFUSED: Status = Status::from_usize(106 | Status::ERROR_MASK);
|
|
603
|
+
|
|
604
|
+
// List of predefined warning codes
|
|
605
|
+
pub const WARN_UNKNOWN_GLYPH: Status = Status::from_usize(1 | Status::WARNING_MASK);
|
|
606
|
+
pub const WARN_DELETE_FAILURE: Status = Status::from_usize(2 | Status::WARNING_MASK);
|
|
607
|
+
pub const WARN_WRITE_FAILURE: Status = Status::from_usize(3 | Status::WARNING_MASK);
|
|
608
|
+
pub const WARN_BUFFER_TOO_SMALL: Status = Status::from_usize(4 | Status::WARNING_MASK);
|
|
609
|
+
pub const WARN_STALE_DATA: Status = Status::from_usize(5 | Status::WARNING_MASK);
|
|
610
|
+
pub const WARN_FILE_SYSTEM: Status = Status::from_usize(6 | Status::WARNING_MASK);
|
|
611
|
+
pub const WARN_RESET_REQUIRED: Status = Status::from_usize(7 | Status::WARNING_MASK);
|
|
612
|
+
|
|
613
|
+
/// Create Status Code from Integer
|
|
614
|
+
///
|
|
615
|
+
/// This takes the literal value of a status code and turns it into a `Status` object. Note
|
|
616
|
+
/// that we want it as `const fn` so we cannot use `core::convert::From`.
|
|
617
|
+
pub const fn from_usize(v: usize) -> Status {
|
|
618
|
+
Status(v)
|
|
619
|
+
}
|
|
620
|
+
|
|
621
|
+
/// Return Underlying Integer Representation
|
|
622
|
+
///
|
|
623
|
+
/// This takes the `Status` object and returns the underlying integer representation as
|
|
624
|
+
/// defined by the UEFI specification.
|
|
625
|
+
pub const fn as_usize(&self) -> usize {
|
|
626
|
+
self.0
|
|
627
|
+
}
|
|
628
|
+
|
|
629
|
+
fn value(&self) -> usize {
|
|
630
|
+
self.0
|
|
631
|
+
}
|
|
632
|
+
|
|
633
|
+
fn mask(&self) -> usize {
|
|
634
|
+
self.value() & Status::MASK
|
|
635
|
+
}
|
|
636
|
+
|
|
637
|
+
/// Check whether this is an error
|
|
638
|
+
///
|
|
639
|
+
/// This returns true if the given status code is considered an error. Errors mean the
|
|
640
|
+
/// operation did not succeed, nor produce any valuable output. Output parameters must be
|
|
641
|
+
/// considered invalid if an error was returned. That is, its content is not well defined.
|
|
642
|
+
pub fn is_error(&self) -> bool {
|
|
643
|
+
self.mask() == Status::ERROR_MASK
|
|
644
|
+
}
|
|
645
|
+
|
|
646
|
+
/// Check whether this is a warning
|
|
647
|
+
///
|
|
648
|
+
/// This returns true if the given status code is considered a warning. Warnings are to be
|
|
649
|
+
/// treated as success, but might indicate data loss or other device errors. However, if an
|
|
650
|
+
/// operation returns with a warning code, it must be considered successfull, and the output
|
|
651
|
+
/// parameters are valid.
|
|
652
|
+
pub fn is_warning(&self) -> bool {
|
|
653
|
+
self.value() != 0 && self.mask() == Status::WARNING_MASK
|
|
654
|
+
}
|
|
655
|
+
}
|
|
656
|
+
|
|
657
|
+
impl From<Status> for Result<Status, Status> {
|
|
658
|
+
fn from(status: Status) -> Self {
|
|
659
|
+
if status.is_error() {
|
|
660
|
+
Err(status)
|
|
661
|
+
} else {
|
|
662
|
+
Ok(status)
|
|
663
|
+
}
|
|
664
|
+
}
|
|
665
|
+
}
|
|
666
|
+
|
|
667
|
+
impl Guid {
|
|
668
|
+
const fn u32_to_bytes_le(num: u32) -> [u8; 4] {
|
|
669
|
+
[
|
|
670
|
+
num as u8,
|
|
671
|
+
(num >> 8) as u8,
|
|
672
|
+
(num >> 16) as u8,
|
|
673
|
+
(num >> 24) as u8,
|
|
674
|
+
]
|
|
675
|
+
}
|
|
676
|
+
|
|
677
|
+
const fn u32_from_bytes_le(bytes: &[u8; 4]) -> u32 {
|
|
678
|
+
(bytes[0] as u32)
|
|
679
|
+
| ((bytes[1] as u32) << 8)
|
|
680
|
+
| ((bytes[2] as u32) << 16)
|
|
681
|
+
| ((bytes[3] as u32) << 24)
|
|
682
|
+
}
|
|
683
|
+
|
|
684
|
+
const fn u16_to_bytes_le(num: u16) -> [u8; 2] {
|
|
685
|
+
[num as u8, (num >> 8) as u8]
|
|
686
|
+
}
|
|
687
|
+
|
|
688
|
+
const fn u16_from_bytes_le(bytes: &[u8; 2]) -> u16 {
|
|
689
|
+
(bytes[0] as u16) | ((bytes[1] as u16) << 8)
|
|
690
|
+
}
|
|
691
|
+
|
|
692
|
+
/// Initialize a Guid from its individual fields
|
|
693
|
+
///
|
|
694
|
+
/// This function initializes a Guid object given the individual fields as specified in the
|
|
695
|
+
/// UEFI specification. That is, if you simply copy the literals from the specification into
|
|
696
|
+
/// your code, this function will correctly initialize the Guid object.
|
|
697
|
+
///
|
|
698
|
+
/// In other words, this takes the individual fields in native endian and converts them to the
|
|
699
|
+
/// correct endianness for a UEFI Guid.
|
|
700
|
+
///
|
|
701
|
+
/// Due to the fact that UEFI Guids use variant 2 of the UUID specification in a little-endian
|
|
702
|
+
/// (or even mixed-endian) format, the following transformation is likely applied from text
|
|
703
|
+
/// representation to binary representation:
|
|
704
|
+
///
|
|
705
|
+
/// 00112233-4455-6677-8899-aabbccddeeff
|
|
706
|
+
/// =>
|
|
707
|
+
/// 33 22 11 00 55 44 77 66 88 99 aa bb cc dd ee ff
|
|
708
|
+
///
|
|
709
|
+
/// (Note that UEFI protocols often use `88-99` instead of `8899`)
|
|
710
|
+
/// The first 3 parts use little-endian notation, the last 2 use big-endian.
|
|
711
|
+
pub const fn from_fields(
|
|
712
|
+
time_low: u32,
|
|
713
|
+
time_mid: u16,
|
|
714
|
+
time_hi_and_version: u16,
|
|
715
|
+
clk_seq_hi_res: u8,
|
|
716
|
+
clk_seq_low: u8,
|
|
717
|
+
node: &[u8; 6],
|
|
718
|
+
) -> Guid {
|
|
719
|
+
Guid {
|
|
720
|
+
time_low: Self::u32_to_bytes_le(time_low),
|
|
721
|
+
time_mid: Self::u16_to_bytes_le(time_mid),
|
|
722
|
+
time_hi_and_version: Self::u16_to_bytes_le(time_hi_and_version),
|
|
723
|
+
clk_seq_hi_res: clk_seq_hi_res,
|
|
724
|
+
clk_seq_low: clk_seq_low,
|
|
725
|
+
node: *node,
|
|
726
|
+
}
|
|
727
|
+
}
|
|
728
|
+
|
|
729
|
+
/// Access a Guid as individual fields
|
|
730
|
+
///
|
|
731
|
+
/// This decomposes a Guid back into the individual fields as given in the specification. The
|
|
732
|
+
/// individual fields are returned in native-endianness.
|
|
733
|
+
pub const fn as_fields(&self) -> (u32, u16, u16, u8, u8, &[u8; 6]) {
|
|
734
|
+
(
|
|
735
|
+
Self::u32_from_bytes_le(&self.time_low),
|
|
736
|
+
Self::u16_from_bytes_le(&self.time_mid),
|
|
737
|
+
Self::u16_from_bytes_le(&self.time_hi_and_version),
|
|
738
|
+
self.clk_seq_hi_res,
|
|
739
|
+
self.clk_seq_low,
|
|
740
|
+
&self.node,
|
|
741
|
+
)
|
|
742
|
+
}
|
|
743
|
+
|
|
744
|
+
/// Initialize a Guid from its byte representation
|
|
745
|
+
///
|
|
746
|
+
/// Create a new Guid object from its byte representation. This
|
|
747
|
+
/// reinterprets the bytes as a Guid and copies them into a new Guid
|
|
748
|
+
/// instance. Note that you can safely transmute instead.
|
|
749
|
+
///
|
|
750
|
+
/// See `as_bytes()` for the inverse operation.
|
|
751
|
+
pub const fn from_bytes(bytes: &[u8; 16]) -> Self {
|
|
752
|
+
unsafe { core::mem::transmute::<[u8; 16], Guid>(*bytes) }
|
|
753
|
+
}
|
|
754
|
+
|
|
755
|
+
/// Access a Guid as raw byte array
|
|
756
|
+
///
|
|
757
|
+
/// This provides access to a Guid through a byte array. It is a simple re-interpretation of
|
|
758
|
+
/// the Guid value as a 128-bit byte array. No conversion is performed. This is a simple cast.
|
|
759
|
+
pub const fn as_bytes(&self) -> &[u8; 16] {
|
|
760
|
+
unsafe { core::mem::transmute::<&Guid, &[u8; 16]>(self) }
|
|
761
|
+
}
|
|
762
|
+
}
|
|
763
|
+
|
|
764
|
+
#[cfg(test)]
|
|
765
|
+
mod tests {
|
|
766
|
+
use super::*;
|
|
767
|
+
use std::mem::{align_of, size_of};
|
|
768
|
+
|
|
769
|
+
// Helper to compute a hash of an object.
|
|
770
|
+
fn hash<T: core::hash::Hash>(v: &T) -> u64 {
|
|
771
|
+
let mut h = std::hash::DefaultHasher::new();
|
|
772
|
+
v.hash(&mut h);
|
|
773
|
+
core::hash::Hasher::finish(&h)
|
|
774
|
+
}
|
|
775
|
+
|
|
776
|
+
// Verify Type Size and Alignemnt
|
|
777
|
+
//
|
|
778
|
+
// Since UEFI defines explicitly the ABI of their types, we can verify that our implementation
|
|
779
|
+
// is correct by checking the size and alignment of the ABI types matches what the spec
|
|
780
|
+
// mandates.
|
|
781
|
+
#[test]
|
|
782
|
+
fn type_size_and_alignment() {
|
|
783
|
+
//
|
|
784
|
+
// Booleans
|
|
785
|
+
//
|
|
786
|
+
|
|
787
|
+
assert_eq!(size_of::<Boolean>(), 1);
|
|
788
|
+
assert_eq!(align_of::<Boolean>(), 1);
|
|
789
|
+
|
|
790
|
+
//
|
|
791
|
+
// Char8 / Char16
|
|
792
|
+
//
|
|
793
|
+
|
|
794
|
+
assert_eq!(size_of::<Char8>(), 1);
|
|
795
|
+
assert_eq!(align_of::<Char8>(), 1);
|
|
796
|
+
assert_eq!(size_of::<Char16>(), 2);
|
|
797
|
+
assert_eq!(align_of::<Char16>(), 2);
|
|
798
|
+
|
|
799
|
+
assert_eq!(size_of::<Char8>(), size_of::<u8>());
|
|
800
|
+
assert_eq!(align_of::<Char8>(), align_of::<u8>());
|
|
801
|
+
assert_eq!(size_of::<Char16>(), size_of::<u16>());
|
|
802
|
+
assert_eq!(align_of::<Char16>(), align_of::<u16>());
|
|
803
|
+
|
|
804
|
+
//
|
|
805
|
+
// Status
|
|
806
|
+
//
|
|
807
|
+
|
|
808
|
+
assert_eq!(size_of::<Status>(), size_of::<usize>());
|
|
809
|
+
assert_eq!(align_of::<Status>(), align_of::<usize>());
|
|
810
|
+
|
|
811
|
+
//
|
|
812
|
+
// Handles / Events
|
|
813
|
+
//
|
|
814
|
+
|
|
815
|
+
assert_eq!(size_of::<Handle>(), size_of::<usize>());
|
|
816
|
+
assert_eq!(align_of::<Handle>(), align_of::<usize>());
|
|
817
|
+
assert_eq!(size_of::<Event>(), size_of::<usize>());
|
|
818
|
+
assert_eq!(align_of::<Event>(), align_of::<usize>());
|
|
819
|
+
|
|
820
|
+
assert_eq!(size_of::<Handle>(), size_of::<*mut ()>());
|
|
821
|
+
assert_eq!(align_of::<Handle>(), align_of::<*mut ()>());
|
|
822
|
+
assert_eq!(size_of::<Event>(), size_of::<*mut ()>());
|
|
823
|
+
assert_eq!(align_of::<Event>(), align_of::<*mut ()>());
|
|
824
|
+
|
|
825
|
+
//
|
|
826
|
+
// Lba / Tpl
|
|
827
|
+
//
|
|
828
|
+
|
|
829
|
+
assert_eq!(size_of::<Lba>(), size_of::<u64>());
|
|
830
|
+
assert_eq!(align_of::<Lba>(), align_of::<u64>());
|
|
831
|
+
assert_eq!(size_of::<Tpl>(), size_of::<usize>());
|
|
832
|
+
assert_eq!(align_of::<Tpl>(), align_of::<usize>());
|
|
833
|
+
|
|
834
|
+
//
|
|
835
|
+
// PhysicalAddress / VirtualAddress
|
|
836
|
+
//
|
|
837
|
+
|
|
838
|
+
assert_eq!(size_of::<PhysicalAddress>(), size_of::<u64>());
|
|
839
|
+
assert_eq!(align_of::<PhysicalAddress>(), align_of::<u64>());
|
|
840
|
+
assert_eq!(size_of::<VirtualAddress>(), size_of::<u64>());
|
|
841
|
+
assert_eq!(align_of::<VirtualAddress>(), align_of::<u64>());
|
|
842
|
+
|
|
843
|
+
//
|
|
844
|
+
// ImageEntryPoint
|
|
845
|
+
//
|
|
846
|
+
|
|
847
|
+
assert_eq!(size_of::<ImageEntryPoint>(), size_of::<fn()>());
|
|
848
|
+
assert_eq!(align_of::<ImageEntryPoint>(), align_of::<fn()>());
|
|
849
|
+
|
|
850
|
+
//
|
|
851
|
+
// Guid
|
|
852
|
+
//
|
|
853
|
+
|
|
854
|
+
assert_eq!(size_of::<Guid>(), 16);
|
|
855
|
+
assert_eq!(align_of::<Guid>(), 4);
|
|
856
|
+
|
|
857
|
+
//
|
|
858
|
+
// Networking Types
|
|
859
|
+
//
|
|
860
|
+
|
|
861
|
+
assert_eq!(size_of::<MacAddress>(), 32);
|
|
862
|
+
assert_eq!(align_of::<MacAddress>(), 1);
|
|
863
|
+
assert_eq!(size_of::<Ipv4Address>(), 4);
|
|
864
|
+
assert_eq!(align_of::<Ipv4Address>(), 1);
|
|
865
|
+
assert_eq!(size_of::<Ipv6Address>(), 16);
|
|
866
|
+
assert_eq!(align_of::<Ipv6Address>(), 1);
|
|
867
|
+
assert_eq!(size_of::<IpAddress>(), 16);
|
|
868
|
+
assert_eq!(align_of::<IpAddress>(), 4);
|
|
869
|
+
}
|
|
870
|
+
|
|
871
|
+
#[test]
|
|
872
|
+
fn eficall() {
|
|
873
|
+
//
|
|
874
|
+
// Make sure the eficall!{} macro can deal with all kinds of function callbacks.
|
|
875
|
+
//
|
|
876
|
+
|
|
877
|
+
let _: eficall! {fn()};
|
|
878
|
+
let _: eficall! {unsafe fn()};
|
|
879
|
+
let _: eficall! {fn(i32)};
|
|
880
|
+
let _: eficall! {fn(i32) -> i32};
|
|
881
|
+
let _: eficall! {fn(i32, i32) -> (i32, i32)};
|
|
882
|
+
|
|
883
|
+
eficall! {fn _unused00() {}}
|
|
884
|
+
eficall! {unsafe fn _unused01() {}}
|
|
885
|
+
eficall! {pub unsafe fn _unused02() {}}
|
|
886
|
+
}
|
|
887
|
+
|
|
888
|
+
// Verify Boolean ABI
|
|
889
|
+
//
|
|
890
|
+
// Even though booleans are strictly 1-bit, and thus 0 or 1, in practice all UEFI systems
|
|
891
|
+
// treat it more like C does, and a boolean formatted as `u8` now allows any value other than
|
|
892
|
+
// 0 to represent `true`. Make sure we support the same.
|
|
893
|
+
#[test]
|
|
894
|
+
fn booleans() {
|
|
895
|
+
// Verify PartialEq works.
|
|
896
|
+
assert_ne!(Boolean::FALSE, Boolean::TRUE);
|
|
897
|
+
|
|
898
|
+
// Verify Boolean<->bool conversion and comparison works.
|
|
899
|
+
assert_eq!(Boolean::FALSE, false);
|
|
900
|
+
assert_eq!(Boolean::TRUE, true);
|
|
901
|
+
|
|
902
|
+
// Iterate all possible values for `u8` and verify 0 behaves as `false`, and everything
|
|
903
|
+
// else behaves as `true`. We verify both, the natural constructor through `From`, as well
|
|
904
|
+
// as a transmute.
|
|
905
|
+
for i in 0u8..=255u8 {
|
|
906
|
+
let v1: Boolean = i.into();
|
|
907
|
+
let v2: Boolean = unsafe { std::mem::transmute::<u8, Boolean>(i) };
|
|
908
|
+
|
|
909
|
+
assert_eq!(v1, v2);
|
|
910
|
+
assert_eq!(v1, v1);
|
|
911
|
+
assert_eq!(v2, v2);
|
|
912
|
+
|
|
913
|
+
match i {
|
|
914
|
+
0 => {
|
|
915
|
+
assert_eq!(v1, Boolean::FALSE);
|
|
916
|
+
assert_eq!(v1, false);
|
|
917
|
+
assert_eq!(v2, Boolean::FALSE);
|
|
918
|
+
assert_eq!(v2, false);
|
|
919
|
+
|
|
920
|
+
assert_ne!(v1, Boolean::TRUE);
|
|
921
|
+
assert_ne!(v1, true);
|
|
922
|
+
assert_ne!(v2, Boolean::TRUE);
|
|
923
|
+
assert_ne!(v2, true);
|
|
924
|
+
|
|
925
|
+
assert!(v1 < Boolean::TRUE);
|
|
926
|
+
assert!(v1 < true);
|
|
927
|
+
assert!(v1 >= Boolean::FALSE);
|
|
928
|
+
assert!(v1 >= false);
|
|
929
|
+
assert!(v1 <= Boolean::FALSE);
|
|
930
|
+
assert!(v1 <= false);
|
|
931
|
+
assert_eq!(v1.cmp(&true.into()), core::cmp::Ordering::Less);
|
|
932
|
+
assert_eq!(v1.cmp(&false.into()), core::cmp::Ordering::Equal);
|
|
933
|
+
|
|
934
|
+
assert_eq!(hash(&v1), hash(&false));
|
|
935
|
+
}
|
|
936
|
+
_ => {
|
|
937
|
+
assert_eq!(v1, Boolean::TRUE);
|
|
938
|
+
assert_eq!(v1, true);
|
|
939
|
+
assert_eq!(v2, Boolean::TRUE);
|
|
940
|
+
assert_eq!(v2, true);
|
|
941
|
+
|
|
942
|
+
assert_ne!(v1, Boolean::FALSE);
|
|
943
|
+
assert_ne!(v1, false);
|
|
944
|
+
assert_ne!(v2, Boolean::FALSE);
|
|
945
|
+
assert_ne!(v2, false);
|
|
946
|
+
|
|
947
|
+
assert!(v1 <= Boolean::TRUE);
|
|
948
|
+
assert!(v1 <= true);
|
|
949
|
+
assert!(v1 >= Boolean::TRUE);
|
|
950
|
+
assert!(v1 >= true);
|
|
951
|
+
assert!(v1 > Boolean::FALSE);
|
|
952
|
+
assert!(v1 > false);
|
|
953
|
+
assert_eq!(v1.cmp(&true.into()), core::cmp::Ordering::Equal);
|
|
954
|
+
assert_eq!(v1.cmp(&false.into()), core::cmp::Ordering::Greater);
|
|
955
|
+
|
|
956
|
+
assert_eq!(hash(&v1), hash(&true));
|
|
957
|
+
}
|
|
958
|
+
}
|
|
959
|
+
}
|
|
960
|
+
}
|
|
961
|
+
|
|
962
|
+
// Verify Guid Manipulations
|
|
963
|
+
//
|
|
964
|
+
// Test that creation of Guids from fields and bytes yields the expected
|
|
965
|
+
// values, and conversions work as expected.
|
|
966
|
+
#[test]
|
|
967
|
+
fn guid() {
|
|
968
|
+
let fields = (
|
|
969
|
+
0x550e8400,
|
|
970
|
+
0xe29b,
|
|
971
|
+
0x41d4,
|
|
972
|
+
0xa7,
|
|
973
|
+
0x16,
|
|
974
|
+
&[0x44, 0x66, 0x55, 0x44, 0x00, 0x00],
|
|
975
|
+
);
|
|
976
|
+
#[rustfmt::skip]
|
|
977
|
+
let bytes = [
|
|
978
|
+
0x00, 0x84, 0x0e, 0x55,
|
|
979
|
+
0x9b, 0xe2,
|
|
980
|
+
0xd4, 0x41,
|
|
981
|
+
0xa7,
|
|
982
|
+
0x16,
|
|
983
|
+
0x44, 0x66, 0x55, 0x44, 0x00, 0x00,
|
|
984
|
+
];
|
|
985
|
+
let (f0, f1, f2, f3, f4, f5) = fields;
|
|
986
|
+
let g_fields = Guid::from_fields(f0, f1, f2, f3, f4, f5);
|
|
987
|
+
let g_bytes = Guid::from_bytes(&bytes);
|
|
988
|
+
|
|
989
|
+
assert_eq!(g_fields, g_bytes);
|
|
990
|
+
assert_eq!(g_fields.as_bytes(), &bytes);
|
|
991
|
+
assert_eq!(g_bytes.as_fields(), fields);
|
|
992
|
+
}
|
|
993
|
+
}
|