x86_64

x86_64 copied to clipboard

implement `Step` for `PhysAddr` and `PhysFrame`

1

This PR adds `Step` implementations for `PhysAddr` and `PhysFrame`. This PR also adds kani harnesses to prove the correctness of these new implementations and the unsafe code within them. Closes...

Freax13

Non-zero but non-present page table entries are handled poorly.

1

``unmap`` and ``map_to`` have different semantics for determining when a page is mapped, which causes problems handling entries that are non-zero but do not have the present flag set. ``translate``...

pjht

`next` branch - "entry should be mapped at this point" when calling `map_to` on offset page table

2

I am using the `next` branch because I am using the `PAT_4KIB_PAGE` flag. Today I encountered a panic: ``` [0] ERROR panicked at /home/rajas/.cargo/git/checkouts/x86_64-380b825b01a45fff/c845be9/src/structures/paging/mapper/mapped_page_table.rs:877:51: entry should be mapped at this...

ChocolateLoverRaj