L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
snd_destination.h
Go to the documentation of this file.
1
5
/*
6
* (c) 2025 Frank Mehnert <frank.mehnert@kernkonzept.com>
7
*
8
* License: see LICENSE.spdx (in this directory or the directories above)
9
*/
10
#pragma once
11
12
#include <
l4/sys/utcb.h
>
13
#include <
l4/sys/types.h
>
types.h
Common L4 ABI Data Types.
utcb.h
UTCB definitions.
l4
sys
snd_destination.h
Generated on
for L4Re Operating System Framework by
1.15.0