We do not have system calls implemented for some of the counter APIs, preventing access from user mode. ``` counter_is_counting_up() counter_get_num_of_channels() counter_get_frequency() counter_us_to_ticks() counter_ticks_to_us() counter_get_max_top_value() counter_cancel_channel_alarm() ```