diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/arith.c | 3 | ||||
| -rw-r--r-- | runtime/user/emul.h | 3 | ||||
| -rw-r--r-- | runtime/user/runtime.h | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/runtime/arith.c b/runtime/arith.c index abbac66c..19b22df4 100644 --- a/runtime/arith.c +++ b/runtime/arith.c @@ -82,7 +82,7 @@ int64_t _stp_mod64 (const char **error, int64_t x, int64_t y) #endif } - +#ifndef _STP_TEST_ /** Return a random integer between -n and n. * @param n how far from zero to go. Make it positive but less than a million or so. */ @@ -101,6 +101,7 @@ int _stp_random_pm (int n) return (seed % (2*n+1)-n); } +#endif /* _STP_TEST_ */ #ifdef __i386__ diff --git a/runtime/user/emul.h b/runtime/user/emul.h index fa8d9fb3..2821e8ac 100644 --- a/runtime/user/emul.h +++ b/runtime/user/emul.h @@ -19,9 +19,6 @@ int vscnprintf(char *buf, size_t size, const char *fmt, va_list args) #define for_each_cpu(cpu) \ for (cpu = 0; cpu < NR_CPUS; cpu++) -// just to eliminate compile errors -unsigned long volatile __jiffy_data jiffies = 12345678; - int _processor_number = 0; #define smp_processor_id() _processor_number #define get_cpu() _processor_number diff --git a/runtime/user/runtime.h b/runtime/user/runtime.h index b13f2cc6..725147a4 100644 --- a/runtime/user/runtime.h +++ b/runtime/user/runtime.h @@ -4,6 +4,8 @@ * @brief Main include file for runtime functions. */ +#define _STP_TEST_ 1 + #define __KERNEL__ #include <linux/config.h> #undef CONFIG_NR_CPUS |