Searched refs:vmid (Results 1 – 1 of 1) sorted by relevance
238 uint32_t vmid = 0U; in trusty_smc_handler() local286 vmid = SMC_GET_GP(handle, CTX_GPREG_X7); in trusty_smc_handler()288 if ((current_vmid != 0) && (current_vmid != vmid)) { in trusty_smc_handler()296 current_vmid = vmid; in trusty_smc_handler()
Completed in 2 milliseconds