T118: libbarrelfish: Refactor architecture specific debug syscalls. Move common debug...
[barrelfish] / lib / barrelfish / arch / arm / sys_debug.c
index e0c9943..8a56aae 100644 (file)
@@ -1,6 +1,6 @@
 /**
  * \file
- * \brief Debug system calls, user-side
+ * \brief Debug system calls, specific for arm, user-side
  */
 
 /*
 #include <stdio.h>
 #include <inttypes.h>
 
-errval_t sys_nop(void)
-{
-    return syscall1(SYSCALL_NOP).error;
-}
-
-errval_t sys_reboot(void)
-{
-    return syscall1(SYSCALL_REBOOT).error;
-}
-
-errval_t sys_debug_context_counter_reset(void)
-{
-    return syscall2(SYSCALL_DEBUG, DEBUG_CONTEXT_COUNTER_RESET).error;
-}
-
-errval_t sys_debug_context_counter_read(uint64_t *ret)
-{
-    struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_CONTEXT_COUNTER_READ);
-    *ret = sr.value;
-    return sr.error;
-}
-
-errval_t sys_debug_print_context_counter(void)
-{
-    uint64_t val;
-    errval_t err = sys_debug_context_counter_read(&val);
-    if (err_is_ok(err)) {
-        printf("core %d: csc = %" PRIu64 "\n", disp_get_core_id(), val);
-    }
-    return err;
-}
-
-errval_t sys_debug_timeslice_counter_read(uint64_t *ret)
-{
-    struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_TIMESLICE_COUNTER_READ);
-    *ret = sr.value;
-    return sr.error;
-}
-
-errval_t sys_debug_print_timeslice(void)
-{
-    uint64_t val;
-    errval_t err = sys_debug_timeslice_counter_read(&val);
-    if (err_is_ok(err)) {
-        printf("core %d: kernel_now = %" PRIu64 "\n", disp_get_core_id(), val);
-    }
-    return err;
-}
-
-errval_t sys_debug_flush_cache(void)
-{
-    return syscall2(SYSCALL_DEBUG, DEBUG_FLUSH_CACHE).error;
-}
-
-errval_t sys_debug_send_ipi(uint8_t destination, uint8_t shorthand, uint8_t vector)
-{
-    return syscall5(SYSCALL_DEBUG,
-                   DEBUG_SEND_IPI, destination, shorthand, vector).error;
-}
-
-errval_t sys_debug_set_breakpoint(uintptr_t addr, uint8_t mode, uint8_t length)
-{
-    return syscall5(SYSCALL_DEBUG,
-                    DEBUG_SET_BREAKPOINT, addr, mode, length).error;
-}
-
 errval_t sys_debug_hardware_timer_read(uintptr_t* v)
 {
     struct sysret sr