Searched refs:vmid (Results 1 – 5 of 5) sorted by relevance
44 uint8_t vmid; /* VMID to assign */ member
59 get_permissions(const struct hal_vmidmt_access_config *cfg, uint32_t vmid) in get_permissions() argument61 uint32_t field = vmid % HAL_VMIDMT_PERMS_PER_FIELD; in get_permissions()62 uint32_t word = vmid / HAL_VMIDMT_PERMS_PER_FIELD; in get_permissions()70 uint32_t vmid) in mask_bit_set() argument72 uint32_t field = vmid % HAL_VMIDMT_MASKS_PER_FIELD; in mask_bit_set()73 uint32_t word = vmid / HAL_VMIDMT_MASKS_PER_FIELD; in mask_bit_set()87 for (size_t vmid = 0; vmid <= HAL_VMIDMT_MAX_VMID; vmid++) { in configure_acr() local88 if (!mask_bit_set(cfg, vmid)) in configure_acr()92 perm = get_permissions(cfg, vmid); in configure_acr()94 acr |= 1 << vmid; in configure_acr()
92 const uint32_t *list, uint8_t len, uint32_t vmid, in map_vmid_internal() argument113 ctx_cfg.u_vmid = vmid; in map_vmid_internal()138 g_vmid_map[i].vmid, g_vmid_map[i].memattr, false); in configure_vmids()
243 uint32_t vmid = 0U; in trusty_smc_handler() local291 vmid = SMC_GET_GP(handle, CTX_GPREG_X7); in trusty_smc_handler()293 if ((current_vmid != 0) && (current_vmid != vmid)) { in trusty_smc_handler()301 current_vmid = vmid; in trusty_smc_handler()
5574 uint32_t vmid : 16; member