rmm_el3_ifc_release_shared_buf (definition) in projects: lib

Searched defs:rmm_el3_ifc_release_shared_buf (Results 1 – 2 of 2) sorted by relevance

/lib/rmm_el3_ifc/src/fake_host/
A D	cbmc_rmm_el3_ifc.c	`25 void rmm_el3_ifc_release_shared_buf(void) in rmm_el3_ifc_release_shared_buf() function`
/lib/rmm_el3_ifc/src/
A D	rmm_el3_runtime.c	`55 void rmm_el3_ifc_release_shared_buf(void) in rmm_el3_ifc_release_shared_buf() function`

Completed in 42 milliseconds