This PR adds two magic methods get_root_page_table and set_root_page_table for getting and setting the physical address of the root page table. These methods are used by KMM during setup and are implemented by PI. This way KMM no longer needs to implement architecture-specific functions to do this.
Additionally, some smaller changes where made in this PR:
Removed the RwSpinlock from common, since the spinning_top crate now supplies it's own better version.
Removed the Interrupts trait from common and renamed the PlatformInterrupts struct to just Interrupts. The trait was unnecessary.
This PR adds two magic methods
get_root_page_tableandset_root_page_tablefor getting and setting the physical address of the root page table. These methods are used by KMM during setup and are implemented by PI. This way KMM no longer needs to implement architecture-specific functions to do this.Additionally, some smaller changes where made in this PR:
common, since thespinning_topcrate now supplies it's own better version.Interruptstrait fromcommonand renamed thePlatformInterruptsstruct to justInterrupts. The trait was unnecessary.