Symbol: release_timer2
sys/platform/pc64/include/clock.h
56
int release_timer2 (void);
sys/platform/pc64/isa/clock.c
501
release_timer2();