metta-systems
/
vesper
1
1
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

[sq] optimize derivation node fields

This commit is contained in:
Berkus Decker 2020-12-03 02:32:00 +02:00
parent 8e7e652a76
commit afe6510fae
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
nucleus/src/arch/aarch64/caps.rs
View File

@ -286,19 +286,22 @@ register_bitfields! {
//-- Mapping database (MDB) node: size = 16 bytes //-- Mapping database (MDB) node: size = 16 bytes
//block mdb_node { //block mdb_node {
//padding 16 //padding 16 -- highest in word[1]
//field_high mdbNext 46 //field_high mdbNext 46 <-- field_high means "will need sign-extension", also value has 2 lower bits just dropped when setting
//field mdbRevocable 1 //field mdbRevocable 1 -- second bit in word[1]
//field mdbFirstBadged 1 //field mdbFirstBadged 1 -- lowest in word[1]
// //
//field mdbPrev 64 //field mdbPrev 64 -- enter lowest word (word[0]) in sel4
//} //}
register_bitfields! { register_bitfields! {
u128, u128,
CapDerivationNode [ CapDerivationNode [
// Next CTE node address -- per cteInsert this is address of the entire CTE slot // Next CTE node address -- per cteInsert this is address of the entire CTE slot
Next OFFSET(16) NUMBITS(46) [], // 4-bytes-aligned, size of canonical phys address is 48 bits // cap derivation slots are supposedly aligned in u128 boundary (16 bytes) this means we can
// drop bottom 4 bits from it in these fields.
Next OFFSET(0) NUMBITS(44) [], // 16-bytes-aligned, size of canonical phys address is 48 bits
// -- 18 bits still free here --
Revocable OFFSET(62) NUMBITS(1) [ Revocable OFFSET(62) NUMBITS(1) [
Disable = 0, Disable = 0,
Enable = 1 Enable = 1
@ -308,7 +311,8 @@ register_bitfields! {
Enable = 1 Enable = 1
], ],
// Prev CTE node address -- per cteInsert this is address of the entire CTE slot // Prev CTE node address -- per cteInsert this is address of the entire CTE slot
Prev OFFSET(64) NUMBITS(64) [] Prev OFFSET(64) NUMBITS(44) []
// -- 20 bits still free here --
] ]
} }