3.4.2 get_evSrcId()

get_evSrcId(name)

Get the event source id for the named event.

Parameters

name
Name of the event.
Non-ConfidentialPDF file icon PDF version101421_0100_01_en
Copyright © 2018, 2019 Arm Limited or its affiliates. All rights reserved.