In the past, CreateSemaphore directly returned L1 address of the semaphore allocated.
Now, CreateSemaphore returns ID (0, 1, 2, ...) and L1 address should be obtained via get_semaphore.
This behavior change is not yet reflected into documentation.
Hey @csehydrogen, thanks for flagging this. I've updated the relevant comments to reflect what the returned value is/should be used, we are now just waiting on having the published docs regenerated.
In the past, CreateSemaphore directly returned L1 address of the semaphore allocated. Now, CreateSemaphore returns ID (0, 1, 2, ...) and L1 address should be obtained via
get_semaphore
. This behavior change is not yet reflected into documentation.