Searched refs:ptr_idx (Results 1 – 1 of 1) sorted by relevance
2936 Use ``__attribute__((pointer_with_type_tag(ptr_kind, ptr_idx, type_tag_idx)))``2943 * ``ptr_idx`` provides the position of a function argument; this function2950 type of the pointer argument specified by ``ptr_idx``. In the code example2953 by ``ptr_idx``.3008 ``arg_idx`` or ``ptr_idx`` is compared against the type associated with the type3012 attribute, the pointee type of the function argument specified by ``ptr_idx`` is3052 ``arg_idx`` (for the ``argument_with_type_tag`` attribute) or ``ptr_idx`` (for