Searched refs:current_vmid (Results 1 – 1 of 1) sorted by relevance
74 static uint32_t current_vmid; variable288 if ((current_vmid != 0) && (current_vmid != vmid)) { in trusty_smc_handler()296 current_vmid = vmid; in trusty_smc_handler()299 current_vmid = 0; in trusty_smc_handler()