1// SPDX-License-Identifier: GPL-3.0-only 2//! Process table placeholder for [`KState`]. 3//! 4//! Authors: MarioS271 5 6/// Holds the kernel process table mapping PIDs to process control blocks. 7pub struct Procs { 8 9}