Loading...
Searching...
No Matches
kdump.h
Go to the documentation of this file.
/*
* Copyright (C) 2024 Kernkonzept GmbH.
* Author(s): Jan Klötzke <jan.kloetzke@kernkonzept.com>
*
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#pragma once
#include <l4/sys/kdebug.h>
L4_INLINE long
fiasco_dump_kmem_stats(void);
L4_INLINE long
fiasco_dump_kmem_stats(void)
{
enum { DUMP_KMEM_STATS = L4_KDEBUG_GROUP_DUMP + 0x00 };
return l4_error(__kdebug_op(DUMP_KMEM_STATS));
}
l4_error
long l4_error(l4_msgtag_t tag) L4_NOTHROW
Get IPC error code if any or message tag label otherwise for an IPC call.
Definition ipc.h:646
L4_INLINE
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51
kdebug.h
Functionality for invoking the kernel debugger.
__kdebug_op
l4_msgtag_t __kdebug_op(unsigned op) L4_NOTHROW
Invoke a nullary operation on the base debugger capability.
Definition kdebug.h:68
fiasco_dump_kmem_stats
long fiasco_dump_kmem_stats(void)
Dump kernel memory statistics on console.
Definition kdump.h:38