Searched refs:current_vmid (Results 1 – 1 of 1) sorted by relevance
76 static uint32_t current_vmid; variable290 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()