Searched refs:instance_descriptor (Results 1 – 1 of 1) sorted by relevance
528 …node_machine_t *machine, api_command_t api_command, const char *name, int32_t *instance_descriptor) in renode_get_instance_descriptor() argument543 *instance_descriptor = data[0]; in renode_get_instance_descriptor()545 assert_msg(*instance_descriptor >= 0, "received invalid instance descriptor"); in renode_get_instance_descriptor()
