#ifndef KF32_OPTS_H
#define KF32_OPTS_H



enum push_abi_type
{
  KF32_PUSH_ABI_NoList,
  KF32_PUSH_ABI_ListButLR,
  KF32_PUSH_ABI_ALLList
};


/* Which ABI to use.  */
enum kf32_abi_type
{
  KF32_ABI_APCS, 
  KF32_ABI_UNKNOW
};

enum float_abi_type
{
  KF32_FLOAT_ABI_SOFT,
  KF32_FLOAT_ABI_SOFTFP,
  KF32_FLOAT_ABI_HARD
};

enum function_abi_type
{
  KF32_Function_ABI_V1,
  KF32_Function_ABI_V2,
  KF32_Function_ABI_Default  
};

#endif
