Home
last modified time | relevance | path

Searched refs:vmm_obj_service_destroy (Results 1 – 3 of 3) sorted by relevance

/trusty/kernel/lib/vmm_obj_service/include/lib/vmm_obj_service/
Dvmm_obj_service.h74 void vmm_obj_service_destroy(struct vmm_obj_service** srv);
/trusty/kernel/lib/dtb_service/
Ddtb_service.cpp112 vmm_obj_service_destroy(&srv); in dtb_service_add_user()
/trusty/kernel/lib/vmm_obj_service/
Dvmm_obj_service.c103 void vmm_obj_service_destroy(struct vmm_obj_service** srv) { in vmm_obj_service_destroy() function