msg.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2014 Freie Universität Berlin
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#pragma once
 
#include <stdint.h>
#include <stdbool.h>
 
#include "sched.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
typedef struct {
    kernel_pid_t sender_pid;    
    uint16_t type;              
    union {
        void *ptr;              
        uint32_t value;         
    } content;                  
} msg_t;
 
int msg_send(msg_t *m, kernel_pid_t target_pid);
 
int msg_try_send(msg_t *m, kernel_pid_t target_pid);
 
int msg_send_to_self(msg_t *m);
 
#define KERNEL_PID_ISR (KERNEL_PID_LAST + 1)
 
int msg_send_int(msg_t *m, kernel_pid_t target_pid);
 
static inline int msg_sent_by_int(const msg_t *m)
{
    return (m->sender_pid == KERNEL_PID_ISR);
}
 
int msg_receive(msg_t *m);
 
int msg_try_receive(msg_t *m);
 
int msg_send_receive(msg_t *m, msg_t *reply, kernel_pid_t target_pid);
 
int msg_reply(msg_t *m, msg_t *reply);
 
int msg_reply_int(msg_t *m, msg_t *reply);
 
unsigned msg_avail_thread(kernel_pid_t pid);
 
unsigned msg_avail(void);
 
unsigned msg_queue_capacity(kernel_pid_t pid);
 
void msg_init_queue(msg_t *array, int num);
 
#ifndef CONFIG_MSG_QUEUE_PRINT_MAX
#  define CONFIG_MSG_QUEUE_PRINT_MAX 16U
#endif
 
void msg_queue_print(void);
 
#ifdef __cplusplus
}
#endif