Searched refs:syscall2 (Results 1 - 12 of 12) sorted by relevance

/barrelfish-master/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);
69 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_MDB_SIZE);
76 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_PRINT_MDB_COUNTERS);
/barrelfish-master/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);
68 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_MDB_SIZE);
75 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_PRINT_MDB_COUNTERS);
/barrelfish-master/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);
53 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_MDB_SIZE);
60 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_PRINT_MDB_COUNTERS);
/barrelfish-master/lib/barrelfish/
H A Dsyscalls.c27 return syscall2(SYSCALL_YIELD, target).error;
32 return syscall2(SYSCALL_SUSPEND, halt).error;
H A Dsys_debug.c36 return syscall2(SYSCALL_DEBUG, DEBUG_CONTEXT_COUNTER_RESET).error;
41 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_CONTEXT_COUNTER_READ);
58 struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_TIMESLICE_COUNTER_READ);
75 return syscall2(SYSCALL_DEBUG, DEBUG_FLUSH_CACHE).error;
80 return syscall2(SYSCALL_DEBUG, DEBUG_FLUSH_TLB).error;
/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dsyscall_arch.h69 #define syscall2(_a, _b) \ macro
72 syscall2(_a, 0)
H A Dinvocations_arch.h510 struct sysret ret = syscall2(
550 syscall2((invoke_bits << 16) | (KernelCmd_Get_core_id << 8) | SYSCALL_INVOKE,
565 return syscall2((invoke_bits << 16) | (DispatcherCmd_DumpPTables << 8) |
574 return syscall2((invoke_bits << 16) | (DispatcherCmd_DumpCapabilities << 8) |
583 return syscall2((invoke_bits << 16) | (NotifyCmd_Send << 8) | SYSCALL_INVOKE,
/barrelfish-master/include/arch/x86_64/barrelfish/
H A Dsyscall_arch.h159 #define syscall2(_a, _b) \ macro
162 syscall2(_a, 0)
/barrelfish-master/include/arch/aarch64/barrelfish/
H A Dsyscall_arch.h76 #define syscall2(a,b) \ macro
H A Dinvocations_arch.h48 return syscall2(invocation, invoke_cptr);
/barrelfish-master/include/arch/arm/barrelfish/
H A Dsyscall_arch.h78 #define syscall2(a,b) \ macro
H A Dinvocations_arch.h49 return syscall2(invocation, invoke_cptr);

Completed in 60 milliseconds