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

/trusted-firmware-a/services/spd/trusty/
A D	trusty.c	240 uint32_t vmid = 0U; in trusty_smc_handler() local 288 vmid = SMC_GET_GP(handle, CTX_GPREG_X7); in trusty_smc_handler() 290 if ((current_vmid != 0) && (current_vmid != vmid)) { in trusty_smc_handler() 298 current_vmid = vmid; in trusty_smc_handler()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023