#ifndef ATTN_H_
#define ATTN_H_

#include <stdint.h>

#define ATTN_SC_STATUS 0x00
#define ATTN_SC_REF_TIME 0x01

#define SC_ENABLED 0x0001
#define SC_DISABLED 0x0000
#define SC_ABNORMAL_RETURN 0xff00

uint32_t set_attn(uint32_t flag, uint32_t value);
uint32_t get_attn(uint32_t flag, uint32_t *value);

#endif