Home
last modified time | relevance | path

Searched refs:dtb_port (Results 1 – 2 of 2) sorted by relevance

/trusty/kernel/lib/dtb_service/
Ddtb_service.cpp59 const char* dtb_port, in dtb_service_add_user() argument
92 rc = vmm_obj_service_create_ro(dtb_port, &dtb_service_port_acl, slice.obj, in dtb_service_add_user()
125 const char* dtb_port, in dtb_service_add() argument
143 if (!dtb_port) { in dtb_service_add()
160 int rc = dtb_service_add_user(dtb, dtb_size, dtb_port, server); in dtb_service_add()
/trusty/kernel/lib/dtb_service/include/lib/dtb_service/
Ddtb_service.h45 const char* dtb_port,