Merge "Modify method to get MQDescriptor for unsynchronized FMQ."

        generates(bool ret, fmq_sync<uint16_t> mqDesc);

    /*

     * This method requests the service to set up an unsynchronized write

     * wait-free FMQ with the client as reader.

     * This method requests the service to return an MQDescriptor to

     * an unsynchronized FMQ set up by the server. If 'configureFmq' is

     * true, then the server sets up a new unsynchronized FMQ. This

     * method is to be used to test multiple reader processes.

     *

     * @return ret True if the setup is successful.

     * @return mqDesc This structure describes the FMQ that was

     * @param configureFmq The server sets up a new unsynchronized FMQ if

     * this parameter is true.

     *

     * @return ret True if successful.

     * @return mqDesc This structure describes the unsynchronized FMQ that was

     * set up by the service. Client can use it to set up the FMQ at its end.

     */

    configureFmqUnsyncWrite()

        generates(bool ret, fmq_unsync<uint16_t> mqDesc);

    getFmqUnsyncWrite(bool configureFmq) generates(bool ret, fmq_unsync<uint16_t> mqDesc);

    /*

     * This method request the service to write into the synchronized read/write