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.