blob: b56f3313543af5b3da204b54925242d95d47ed9d [file] [log] [blame]
#include <stdint.h>
typedef uint64_t event64_t;
struct thread {
event64_t wait_event; /* wait queue event */
};
struct thread foo = { 0 };
int
main ()
{
foo.wait_event = 5;
puts (""); /* a good place to put a breakpoint */
return 0;
}