Home
last modified time | relevance | path

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

/tf-rmm-v0.2.0/lib/realm/include/
A Dvmid.h12 void vmid_free(unsigned int vmid);
/tf-rmm-v0.2.0/runtime/core/
A Dvmid.c52 void vmid_free(unsigned int vmid) in vmid_free() function
/tf-rmm-v0.2.0/runtime/rmi/
A Drealm.c282 vmid_free((unsigned int)p.vmid); in smc_realm_create()
289 vmid_free((unsigned int)p.vmid); in smc_realm_create()
376 vmid_free(rd->s2_ctx.vmid); in smc_realm_destroy()

Completed in 4 milliseconds