void htxd_cleanup_system_shm(void) { int shm_id; void *shm_address; shm_id = htxd_get_exer_table_shm_id(); shm_address = (void *) htxd_get_exer_table(); htxd_cleanup_shm(shm_id, shm_address); shm_id = htxd_get_system_header_info_shm_id(); shm_address = (void *) htxd_get_system_header_info(); htxd_cleanup_shm(shm_id, shm_address); htxd_delete_ecg_manager(); }
void htxd_cleanup_system_shm(void) { int shm_id; void *shm_address; shm_id = htxd_get_exer_table_shm_id(); shm_address = (void *) htxd_get_exer_table(); htxd_cleanup_shm(shm_id, shm_address); shm_id = htxd_get_system_header_info_shm_id(); shm_address = (void *) htxd_get_system_header_info(); htxd_cleanup_shm(shm_id, shm_address); htxd_delete_ecg_manager(); htxd_set_daemon_state(HTXD_DAEMON_UNVALIDATED); }