Home
last modified time | relevance | path

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

/trusted-firmware-a-3.6.0-3.5.0/services/spd/trusty/
Dtrusty.c76 static uint32_t current_vmid; variable
290 if ((current_vmid != 0) && (current_vmid != vmid)) { in trusty_smc_handler()
298 current_vmid = vmid; in trusty_smc_handler()
301 current_vmid = 0; in trusty_smc_handler()