Symbol: rctlblk_get_recipient_pid