#ifndef ATTN_H
#define ATTN_H

#include <stdint.h>

/**
 * Checks if the device integrity has not been violated.
 * 
 * @return DK_SUCCESS if integrity is not violated, error code otherwise.
*/

DK_Result dk_ICCC_check();

#endif