| 1 | /*
|
|---|
| 2 | * SPDX-FileCopyrightText: 2008 Jiri Svoboda
|
|---|
| 3 | *
|
|---|
| 4 | * SPDX-License-Identifier: BSD-3-Clause
|
|---|
| 5 | */
|
|---|
| 6 |
|
|---|
| 7 | /** @addtogroup libc
|
|---|
| 8 | * @{
|
|---|
| 9 | */
|
|---|
| 10 | /** @file
|
|---|
| 11 | */
|
|---|
| 12 |
|
|---|
| 13 | #ifndef _LIBC_UDEBUG_H_
|
|---|
| 14 | #define _LIBC_UDEBUG_H_
|
|---|
| 15 |
|
|---|
| 16 | #include <abi/udebug.h>
|
|---|
| 17 | #include <stddef.h>
|
|---|
| 18 | #include <stdint.h>
|
|---|
| 19 | #include <async.h>
|
|---|
| 20 |
|
|---|
| 21 | typedef sysarg_t thash_t;
|
|---|
| 22 |
|
|---|
| 23 | extern errno_t udebug_begin(async_sess_t *);
|
|---|
| 24 | extern errno_t udebug_end(async_sess_t *);
|
|---|
| 25 | extern errno_t udebug_set_evmask(async_sess_t *, udebug_evmask_t);
|
|---|
| 26 | extern errno_t udebug_thread_read(async_sess_t *, void *, size_t, size_t *,
|
|---|
| 27 | size_t *);
|
|---|
| 28 | extern errno_t udebug_name_read(async_sess_t *, void *, size_t, size_t *,
|
|---|
| 29 | size_t *);
|
|---|
| 30 | extern errno_t udebug_areas_read(async_sess_t *, void *, size_t, size_t *,
|
|---|
| 31 | size_t *);
|
|---|
| 32 | extern errno_t udebug_mem_read(async_sess_t *, void *, uintptr_t, size_t);
|
|---|
| 33 | extern errno_t udebug_args_read(async_sess_t *, thash_t, sysarg_t *);
|
|---|
| 34 | extern errno_t udebug_regs_read(async_sess_t *, thash_t, void *);
|
|---|
| 35 | extern errno_t udebug_go(async_sess_t *, thash_t, udebug_event_t *, sysarg_t *,
|
|---|
| 36 | sysarg_t *);
|
|---|
| 37 | extern errno_t udebug_stop(async_sess_t *, thash_t);
|
|---|
| 38 |
|
|---|
| 39 | #endif
|
|---|
| 40 |
|
|---|
| 41 | /** @}
|
|---|
| 42 | */
|
|---|
