michaelkuc6/blog_os
1
0
Fork 0
mirror of https://github.com/phil-opp/blog_os.git synced 2025-12-16 22:37:49 +00:00
Code Issues Projects Releases Wiki Activity

Update to changes introduced in 4fcb4b3424

Browse Source
This commit is contained in:
Philipp Oppermann
2016-02-24 17:33:28 +01:00
parent 4fcb4b3424
commit 23df363136
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
posts/2015-12-09-modifying-page-tables.md
View File

@@ -345,21 +345,21 @@ To model the levels we use a trait and empty enums:
pub trait TableLevel {} pub trait TableLevel {}
pub enum Level4 {} pub enum Level4 {}
enum Level3 {} pub enum Level3 {}
enum Level2 {} pub enum Level2 {}
enum Level1 {} pub enum Level1 {}
impl TableLevel for Level4 {} impl TableLevel for Level4 {}
impl TableLevel for Level3 {} impl TableLevel for Level3 {}
impl TableLevel for Level2 {} impl TableLevel for Level2 {}
impl TableLevel for Level1 {} impl TableLevel for Level1 {}
``` ```
An empty enum has size zero and disappears completely after compiling. Unlike an empty struct, it's not possible to instantiate an empty enum. Since we will use `TableLevel` and `Level4` in exported types, they need to be public as well. An empty enum has size zero and disappears completely after compiling. Unlike an empty struct, it's not possible to instantiate an empty enum. Since we will use `TableLevel` and the table levels in exported types, they need to be public.
To differentiate the P1 table from the other tables, we introduce a `HierarchicalLevel` trait, which is a subtrait of `TableLevel`. But we implement it only for the levels 4, 3, and 2: To differentiate the P1 table from the other tables, we introduce a `HierarchicalLevel` trait, which is a subtrait of `TableLevel`. But we implement it only for the levels 4, 3, and 2:
```rust ```rust
trait HierarchicalLevel: TableLevel {} pub trait HierarchicalLevel: TableLevel {}
impl HierarchicalLevel for Level4 {} impl HierarchicalLevel for Level4 {}
impl HierarchicalLevel for Level3 {} impl HierarchicalLevel for Level3 {}