Enable concurrent mappings of shared normal-world/VTL0 physical pages

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414

[Sangho Lee (sangho2)]

This PR enables concurrent mappings of shared normal-world (VTL0) physical pages. Currently, our physical pointer abstraction uses direct/identity maps for contiguous physical pages, rejecting concurrent mappings. PR #979 bypasses this problem through over-serialization. Instead, this PR solves it by making the physical pointer abstraction always use vmap, returning private virtual addresses for shared physical pages.

[Weidong Cui (wdcui)]

Overall, LGTM. I left one comment below and shared the issues found by GPT-5.6 offline.

[Sangho Lee (sangho2)]

Merge PR #1031 first.

[github-actions]

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details

--- failure trait_method_missing: pub trait method removed or renamed ---
Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron
Failed in:
method va_to_pa_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:47
method pa_to_va_direct of trait MemoryProvider, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_platform_lvbs/src/mm/mod.rs:55
--- failure function_missing: pub fn removed or renamed ---
Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/function_missing.ron
Failed in:
function litebox_shim_optee::msg_handler::packed_msg_args_lock, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/d2b19fa3eb5ca596ca1e7a83f47c57ec357c5ed7/litebox_shim_optee/src/msg_handler.rs:414