pub unsafe fn activate_as_kernel(&self) {
        let old_frame = ttbr_el1_read(1);
        let new_frame = self.p4_frame.clone();
        debug!("switch TTBR1 {:?} -> {:?}", old_frame, new_frame);
        if old_frame != new_frame {
            ttbr_el1_write(0, Frame::of_addr(0));
            ttbr_el1_write(1, new_frame);
            tlb_invalidate_all();
        }
    }
/// Activate as kernel page table (TTBR0).
/// Used in `arch::memory::remap_the_kernel()`.
Activate as kernel page table (TTBR0).
Activate as kernel page table ( TTBR0 ) .
pub unsafe fn activate_as_kernel(&self) {
        let old_frame = ttbr_el1_read(1);
        let new_frame = self.p4_frame.clone();
        debug!("switch TTBR1 {:?} -> {:?}", old_frame, new_frame);
        if old_frame != new_frame {
            ttbr_el1_write(0, Frame::of_addr(0));
            ttbr_el1_write(1, new_frame);
            tlb_invalidate_all();
        }
    }
pub unsafe fn activate_as_kernel ( & self ) { let old_frame = ttbr_el1_read ( 1 ) ; let new_frame = self . p4_frame . clone ( ) ; debug ! ( " " old_frame new_frame ) ; if old_frame != new_frame { ttbr_el1_write ( 0 , Frame :: of_addr ( 0 ) ) ; ttbr_el1_write ( 1 , new_frame ) ; tlb_invalidate_all ( ) ; } }
Activate as kernel page table (TTBR0).
Activate as kernel page table ( TTBR0 ) .
&self
&self