1  /* args are passed on registers from r0 up to r11 => 12*8 bytes */
       2  #define REG_ARGS_SIZE (12*8)
       3  #define KVX_REGISTER_SIZE (8)
       4  #define KVX_ABI_SLOT_SIZE (KVX_REGISTER_SIZE)
       5  #define KVX_ABI_MAX_AGGREGATE_IN_REG_SIZE (4*KVX_ABI_SLOT_SIZE)