use kernel_arch::KernelTableManagerImpl;

pub type PhysicalRef<'a, T> =
    libk_mm_interface::pointer::PhysicalRef<'a, T, KernelTableManagerImpl>;
pub type PhysicalRefMut<'a, T> =
    libk_mm_interface::pointer::PhysicalRefMut<'a, T, KernelTableManagerImpl>;
