Skip to main content

kernel/arch/x86_64/lib/types/
mod.rs

1// SPDX-License-Identifier: GPL-3.0-only
2//! x86_64 specific shared kernel types
3//!
4//! Authors: MarioS271
5
6pub(crate) mod user_slice;