/*
|
* Copyright (C) 2006 Jan Kiszka <jan.kiszka@web.de>.
|
*
|
* Xenomai is free software; you can redistribute it and/or modify
|
* it under the terms of the GNU General Public License as published
|
* by the Free Software Foundation; either version 2 of the License,
|
* or (at your option) any later version.
|
*
|
* Xenomai is distributed in the hope that it will be useful, but
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
* General Public License for more details.
|
*
|
* You should have received a copy of the GNU General Public License
|
* along with Xenomai; if not, write to the Free Software
|
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
|
* 02111-1307, USA.
|
*/
|
#ifndef _COBALT_KERNEL_IPIPE_TRACE_H
|
#define _COBALT_KERNEL_IPIPE_TRACE_H
|
|
#include <linux/types.h>
|
#include <linux/kconfig.h>
|
#include <linux/ipipe_trace.h>
|
#include <cobalt/uapi/kernel/trace.h>
|
|
static inline int xntrace_max_begin(unsigned long v)
|
{
|
ipipe_trace_begin(v);
|
return 0;
|
}
|
|
static inline int xntrace_max_end(unsigned long v)
|
{
|
ipipe_trace_end(v);
|
return 0;
|
}
|
|
static inline int xntrace_max_reset(void)
|
{
|
ipipe_trace_max_reset();
|
return 0;
|
}
|
|
static inline int xntrace_user_start(void)
|
{
|
return ipipe_trace_frozen_reset();
|
}
|
|
static inline int xntrace_user_stop(unsigned long v)
|
{
|
ipipe_trace_freeze(v);
|
return 0;
|
}
|
|
static inline int xntrace_user_freeze(unsigned long v, int once)
|
{
|
int ret = 0;
|
|
if (!once)
|
ret = ipipe_trace_frozen_reset();
|
|
ipipe_trace_freeze(v);
|
|
return ret;
|
}
|
|
static inline void xntrace_latpeak_freeze(int delay)
|
{
|
xntrace_user_freeze(delay, 0);
|
}
|
|
static inline int xntrace_special(unsigned char id, unsigned long v)
|
{
|
ipipe_trace_special(id, v);
|
return 0;
|
}
|
|
static inline int xntrace_special_u64(unsigned char id,
|
unsigned long long v)
|
{
|
ipipe_trace_special(id, (unsigned long)(v >> 32));
|
ipipe_trace_special(id, (unsigned long)(v & 0xFFFFFFFF));
|
return 0;
|
}
|
|
static inline int xntrace_pid(pid_t pid, short prio)
|
{
|
ipipe_trace_pid(pid, prio);
|
return 0;
|
}
|
|
static inline int xntrace_tick(unsigned long delay_ticks)
|
{
|
ipipe_trace_event(0, delay_ticks);
|
return 0;
|
}
|
|
static inline int xntrace_panic_freeze(void)
|
{
|
ipipe_trace_panic_freeze();
|
return 0;
|
}
|
|
static inline int xntrace_panic_dump(void)
|
{
|
ipipe_trace_panic_dump();
|
return 0;
|
}
|
|
static inline bool xntrace_enabled(void)
|
{
|
return IS_ENABLED(CONFIG_IPIPE_TRACE);
|
}
|
|
#endif /* !_COBALT_KERNEL_IPIPE_TRACE_H */
|
