1// SPDX-License-Identifier: GPL-3.0-only 2//! Re-Exports of arch-specific userspace jump stuff 3//! 4//! Authors: MarioS271 5 6#[cfg(target_arch = "x86_64")] pub use crate::arch::x86_64::cpu::userspace::*;