Searched refs:get_secure_domain_name (Results 1 – 1 of 1) sorted by relevance
1406 static const char* get_secure_domain_name(int domain_id) { in get_secure_domain_name() function1450 dev = open(get_secure_domain_name(domain), O_NONBLOCK); in open_device_node_internal()1454 get_secure_domain_name(domain), domain, strerror(errno), in open_device_node_internal()1469 get_secure_domain_name(domain), domain, strerror(errno), in open_device_node_internal()1480 get_secure_domain_name(domain)); in open_device_node_internal()1481 dev = open(get_secure_domain_name(domain), O_NONBLOCK); in open_device_node_internal()