1 /*
2  * Copyright (c) 2022 Nordic Semiconductor ASA
3  * Copyright (c) 2023 Codecoup
4  *
5  * SPDX-License-Identifier: Apache-2.0
6  */
7 
8 #ifndef MOCKS_KERNEL_H_
9 #define MOCKS_KERNEL_H_
10 
11 #include <zephyr/fff.h>
12 #include <zephyr/kernel.h>
13 #include <zephyr/kernel_structs.h>
14 #include <zephyr/sys_clock.h>
15 
16 void mock_kernel_init(void);
17 void mock_kernel_cleanup(void);
18 
19 DECLARE_FAKE_VALUE_FUNC(k_ticks_t, z_timeout_remaining, const struct _timeout *);
20 DECLARE_FAKE_VALUE_FUNC(bool, k_work_cancel_delayable_sync, struct k_work_delayable *,
21 			struct k_work_sync *);
22 DECLARE_FAKE_VALUE_FUNC(int, k_sem_take, struct k_sem *, k_timeout_t);
23 DECLARE_FAKE_VOID_FUNC(k_sem_give, struct k_sem *);
24 
25 #endif /* MOCKS_KERNEL_H_ */
26