Fixes race-bug in overflow/bit event handling
[akaros.git] / user / c3po / stack / fptr.c
1 #include "util.h"
2
3 int fptr_caller = -1;
4
5 void
6 fptr_report_unexpected_call(int cur)
7 {
8   output("unexpected call %d -> %d\n", fptr_caller, cur);
9 }
10
11 void
12 fptr_report_unvalidated_return(int cur)
13 {
14   output("unvalidated fptr_caller %d (return to %d)\n", fptr_caller, cur);
15 }
16
17 void
18 fptr_report_unvalidated_overwrite(int cur)
19 {
20   output("unvalidated fptr_caller %d (overwrite in %d)\n", fptr_caller, cur);
21 }