/* CTF 1.8 */
typealias integer { size = 8; align = 8; signed = true; } := int8_t;
typealias integer { size = 8; align = 8; signed = false; } := uint8_t;
typealias integer { size = 16; align = 8; signed = false; } := uint16_t;
typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
typealias integer { size = 32; align = 8; signed = true; } := int32_t;
typealias integer { size = 64; align = 8; signed = false; } := uint64_t;
typealias integer { size = 8; align = 8; signed = false; encoding = ASCII; } := ctf_bounded_string_t;
typealias enum : uint32_t {
    MUTEX_INIT = 33,
    MUTEX_UNLOCK = 34,
    MUTEX_LOCK = 35,
    SEMA_INIT = 36,
    SEMA_GIVE = 37,
    SEMA_TAKE = 38,
    SLEEP = 39
} := call_id;

struct event_header {
    uint32_t timestamp;
    uint8_t id;
};

trace {
    major = 1;
    minor = 8;
    byte_order = le;
};

stream {
    event.header := struct event_header;
};

event {
    name = thread_switched_out;
    id = 0x10;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};

event {
    name = thread_switched_in;
    id = 0x11;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};

event {
    name = thread_priority_set;
    id = 0x12;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
        int8_t prio;
    };

};

event {
    name = thread_create;
    id = 0x13;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};

event {
    name = thread_abort;
    id = 0x14;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};

event {
    name = thread_suspend;
    id = 0x15;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};

event {
    name = thread_resume;
    id = 0x16;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};
event {
        name = thread_ready;
        id = 0x17;
        fields := struct {
                uint32_t thread_id;
                ctf_bounded_string_t name[20];
        };
};

event {
    name = thread_pending;
    id = 0x18;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};

event {
    name = thread_info;
    id = 0x19;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
        uint32_t stack_base;
        uint32_t stack_size;
    };
};

event {
    name = thread_name_set;
    id = 0x1a;
    fields := struct {
        uint32_t thread_id;
        ctf_bounded_string_t name[20];
    };
};

event {
    name = isr_enter;
    id = 0x1B;
};

event {
    name = isr_exit;
    id = 0x1C;
};

event {
    name = isr_exit_to_scheduler;
    id = 0x1D;
};

event {
    name = idle;
    id = 0x1E;
};

event {
    name = start_call;
    id = 0x1F;
    fields := struct {
        call_id id;
    };
};

event {
    name = end_call;
    id = 0x20;
    fields := struct {
        call_id id;
    };
};

event {
    name = semaphore_init;
    id = 0x21;
    fields := struct {
        uint32_t id;
        int32_t ret;
    };
};

event {
    name = semaphore_give_enter;
    id = 0x22;
    fields := struct {
        uint32_t id;
    };
};

event {
    name = semaphore_give_exit;
    id = 0x23;
    fields := struct {
        uint32_t id;
    };
};

event {
    name = semaphore_take_enter;
    id = 0x24;
    fields := struct {
        uint32_t id;
        uint32_t timeout;
    };
};

event {
    name = semaphore_take_exit;
    id = 0x26;
    fields := struct {
        uint32_t id;
        uint32_t timeout;
        int32_t ret;
    };
};


event {
    name = semaphore_take_blocking;
    id = 0x25;
    fields := struct {
        uint32_t id;
        uint32_t timeout;
    };
};


event {
    name = semaphore_reset;
    id = 0x27;
    fields := struct {
        uint32_t id;
    };
};

event {
    name = mutex_init;
    id = 0x28;
    fields := struct {
        uint32_t id;
        int32_t ret;
    };
};

event {
    name = mutex_lock_enter;
    id = 0x29;
    fields := struct {
        uint32_t id;
        uint32_t timeout;
    };
};

event {
    name = mutex_lock_blocking;
    id = 0x2A;
    fields := struct {
        uint32_t id;
        uint32_t timeout;
    };
};

event {
    name = mutex_lock_exit;
    id = 0x2B;
    fields := struct {
        uint32_t id;
        uint32_t timeout;
        int32_t ret;
    };
};

event {
    name = mutex_unlock_enter;
    id = 0x2C;
    fields := struct {
        uint32_t id;
    };
};

event {
    name = mutex_unlock_exit;
    id = 0x2D;
    fields := struct {
        uint32_t id;
    };
};