I arrived at https://github.com/raspberrypi/pico-sdk/blob/afc10f3599c27147a6f34781b7102d86f58aa5f6/src/rp2_common/pico_multicore/multicore.c#L130 I miss here a link to the document where this command sequence is stated