Lines Matching defs:kernel
98 uint32_t kernel; ///< Kernel version (major.minor.rev: mmnnnrrrr dec).
360 /// \param[out] id_buf pointer to buffer for retrieving kernel identification string.
361 /// \param[in] id_size size of buffer for kernel identification string.
405 /// Get the RTOS kernel tick count.
406 /// \return RTOS kernel current tick count.
409 /// Get the RTOS kernel tick frequency.
410 /// \return frequency of the kernel tick in hertz, i.e. kernel ticks per second.
413 /// Get the RTOS kernel system timer count.
414 /// \return RTOS kernel current system timer count as 32-bit value.
417 /// Get the RTOS kernel system timer frequency.
509 /// \param[in] ticks interval in kernel ticks until the thread watchdog expires, or 0 to stop the watchdog