diff options
| author | Christian Cunningham <cc@localhost> | 2022-02-13 13:01:59 -0700 |
|---|---|---|
| committer | Christian Cunningham <cc@localhost> | 2022-02-13 13:01:59 -0700 |
| commit | 91f828411617247abde3f0ace64389bb2050f794 (patch) | |
| tree | 1206eb445ccae6157eecb5c9db3164ca263ade66 /src/sys/timer.c | |
| parent | a3b9723b28d24faffab2d0c770cd355939746e63 (diff) | |
Unhook old mutex handles
Diffstat (limited to 'src/sys/timer.c')
| -rw-r--r-- | src/sys/timer.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/sys/timer.c b/src/sys/timer.c index 548bf1a..c8f9922 100644 --- a/src/sys/timer.c +++ b/src/sys/timer.c @@ -8,20 +8,10 @@ #include <util/time.h> #include <symbols.h> -void increase_counter(void) -{ - if (lock_mutex(&exe_cnt_m, SCHED_PID) == 0) { - unsigned long* counter = (unsigned long*)exe_cnt_m.addr; - *counter += 1; - release_mutex(&exe_cnt_m, SCHED_PID); - } -} - void c_timer(void) { // Reset the counter write_cntv_tval(cntfrq/CPS); - increase_counter(); status(); } |