Trying to figure out synchronization after kernel call