| #include <stdio.h> | |
| #include <parlib.h> | |
| #include <arch/arch.h> | |
| int main() | |
| { | |
| int N = 8192; | |
| long long tsc0 = read_tsc(); | |
| for(int i = 0; i < N; i++) | |
| ros_syscall(SYS_null, 0, 0, 0, 0, 0, 0); | |
| long long tsc1 = read_tsc(); | |
| printf("tsc0 = %lld\n",tsc0); | |
| printf("syscall time = %lld\n",(tsc1-tsc0)/N); | |
| return 0; | |
| } |