pub fn push_stack(&mut self, ceiling: TaskId) -> Result<(), KernelError> {
        self.top += 1;
        if self.top >= MAX_RESOURCES {
            return Err(KernelError::LimitExceeded);
        }
        self.pi_stack[self.top] = ceiling as i32;
        self.system_ceiling = ceiling as i32;
        Ok(())
    }
/// Pushes the passed ceiling onto the pi_stack.
Pushes the passed ceiling onto the pi_stack.
Pushes the passed ceiling onto the pi_stack .
pub fn push_stack(&mut self, ceiling: TaskId) -> Result<(), KernelError> {
        self.top += 1;
        if self.top >= MAX_RESOURCES {
            return Err(KernelError::LimitExceeded);
        }
        self.pi_stack[self.top] = ceiling as i32;
        self.system_ceiling = ceiling as i32;
        Ok(())
    }
pub fn push_stack ( & mut self , ceiling : TaskId ) -> Result < ( ) , KernelError > { self . top += 1 ; if self . top >= MAX_RESOURCES { return Err ( KernelError :: LimitExceeded ) ; } self . pi_stack [ self . top ] = ceiling as i32 ; self . system_ceiling = ceiling as i32 ; Ok ( ( ) ) }
Pushes the passed ceiling onto the pi_stack.
Pushes the passed ceiling onto the pi_stack .
&mut self
ceiling
TaskId
&mut self
ceiling
TaskId