#else
{
int ret = 0;
- reserve_size = ltt_align(reserve_size, sizeof(void *));
+ reserve_size += ltt_align(reserve_size, sizeof(void *));
{
ret = ltt_trace_generic(ltt_facility_user_generic_F583779E, event_user_generic_slow_printf, buffer, reserve_size, LTT_BLOCKING);
}