install_sys_handler
install_sys_handler(cntpct_handler);
install_sys_handler(user_ctr_handler);
install_sys_handler(user_idreg_handler);
void install_sys_handler(undef_sys_handler_t);