Searched refs:current_vmid (Results 1 – 1 of 1) sorted by relevance
76 static uint32_t current_vmid; variable293 if ((current_vmid != 0) && (current_vmid != vmid)) { in trusty_smc_handler()301 current_vmid = vmid; in trusty_smc_handler()304 current_vmid = 0; in trusty_smc_handler()