Searched refs:SYSCALL_DEBUG (Results 1 - 10 of 10) sorted by relevance

/barrelfish-2018-10-04/lib/barrelfish/arch/x86/
H A Dsys_debug.c25 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_TSC_PER_MS);
32 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_APIC_ID);
39 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_APIC_TIMER);
46 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_APIC_TICKS_PER_SEC);
/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/
H A Dsys_debug.c26 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_TSC_PER_MS);
34 = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_TIMER_READ);
42 = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_TIMER_HERTZ_READ);
54 h = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_GLOBAL_TIMER_HIGH).value;
55 l = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_GLOBAL_TIMER_LOW).value;
57 sr = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_GLOBAL_TIMER_HIGH);
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/
H A Dsys_debug.c25 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_TIMER_HERTZ_READ);
33 = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_TIMER_READ);
41 = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_TIMER_HERTZ_READ);
53 h = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_GLOBAL_TIMER_HIGH).value;
54 l = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_GLOBAL_TIMER_LOW).value;
56 sr = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_GLOBAL_TIMER_HIGH);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dsys_debug.c35 return syscall2(SYSCALL_DEBUG, DEBUG_CONTEXT_COUNTER_RESET).error;
40 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_CONTEXT_COUNTER_READ);
57 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_TIMESLICE_COUNTER_READ);
74 return syscall2(SYSCALL_DEBUG, DEBUG_FLUSH_CACHE).error;
79 return syscall5(SYSCALL_DEBUG,
85 return syscall5(SYSCALL_DEBUG,
91 return syscall5(SYSCALL_DEBUG,
102 struct sysret sr = syscall7(SYSCALL_DEBUG, DEBUG_CREATE_IRQ_SRC_CAP,
/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dsyscalls.h46 #define SYSCALL_DEBUG 3 ///< Benchmarking and debug syscalls macro
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Dsys_debug.c30 return syscall5(SYSCALL_DEBUG,
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dsyscall.c1334 case SYSCALL_DEBUG:
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dsyscall.c1240 case SYSCALL_DEBUG:
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dsyscall.c1089 case SYSCALL_DEBUG:
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dsyscall.c1516 case SYSCALL_DEBUG:

Completed in 196 milliseconds