Line data    Source code

       1           1 : /**
       2             :  * @file serial/serial.h
       3             :  *
       4             :  * @brief Sequential simlation engine
       5             :  *
       6             :  * SPDX-FileCopyrightText: 2008-2021 HPDCS Group <rootsim@googlegroups.com>
       7             :  * SPDX-License-Identifier: GPL-3.0-only
       8             :  */
       9             : #pragma once
      10             : 
      11             : #include <core/core.h>
      12             : 
      13           0 : extern void serial_model_init(void);
      14             : 
      15           1 : extern void serial_simulation(void);
      16             : 
      17           0 : extern void ScheduleNewEvent(lp_id_t receiver, simtime_t timestamp,
      18             :         unsigned event_type, const void *payload, unsigned payload_size);
      19             : 
      20           0 : __attribute__ ((pure)) extern lp_id_t lp_id_get(void);
      21           0 : __attribute__ ((pure)) extern struct lib_ctx *lib_ctx_get(void);