yggdrasil/lib/kernel-util/src/lib.rs

#![no_std]
#![feature(
    maybe_uninit_slice,
    step_trait,
    const_trait_impl,
    effects,
    slice_ptr_get,
    strict_provenance,
    never_type,
    let_chains
)]

use device_api::interrupt::MessageInterruptController;

extern crate alloc;

pub(crate) mod api;

pub mod mem;
pub mod runtime;
pub mod sync;
pub mod thread;
pub mod util;

#[inline]
pub fn message_interrupt_controller() -> &'static dyn MessageInterruptController {
    unsafe { api::__message_interrupt_controller() }
}

#[inline]
pub fn cpu_index() -> usize {
    unsafe { api::__cpu_index() }
}

#[inline]
pub fn cpu_count() -> usize {
    unsafe { api::__cpu_count() }
}

#[repr(C)]
pub struct AlignedTo<Align, Bytes: ?Sized> {
    pub align: [Align; 0],
    pub bytes: Bytes,
}