We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 694cfe1 commit 31c8773Copy full SHA for 31c8773
2 files changed
components/backtracer/unwind_helpers.c
@@ -3,7 +3,6 @@
3
#define UNW_LOCAL_ONLY
4
#include <libunwind.h>
5
6
-#define INPUT_CAP 1
7
static seL4_MessageInfo_t empty_msg = { 0 };
8
uintptr_t unwind_helper_channel_to_backtracer = 0;
9
examples/backtrace_test/faulter.c
@@ -4,14 +4,12 @@
#include <stdint.h>
#define LOG(...) sddf_printf("FAULTER | " __VA_ARGS__)
-const char *timestamp = __TIMESTAMP__;
-// Get a random-ish pointer to low-ish memory
-uintptr_t happy = 0;
+uintptr_t faulty_ptr = 0;
10
11
void recurseFault(int depth)
12
{
13
if (depth == 0) {
14
- *(volatile int *)happy;
+ *(volatile int *)faulty_ptr;
15
return;
16
}
17
recurseFault(--depth);
0 commit comments