Searched refs:dev_id (Results 1 – 3 of 3) sorted by relevance
612 static TEE_Result get_chip_dev_id(uint32_t *dev_id) in get_chip_dev_id() argument615 *dev_id = stm32mp_syscfg_get_chip_dev_id(); in get_chip_dev_id()618 return stm32mp1_dbgmcu_get_chip_dev_id(dev_id); in get_chip_dev_id()625 uint32_t dev_id = 0; in get_part_number() local637 res = get_chip_dev_id(&dev_id); in get_part_number()652 SHIFT_U32(dev_id, 16); in get_part_number()
211 uint16_t dev_id; member269 uint16_t dev_id; member495 rpmb_ctx->dev_id = 0; in rpmb_probe_reset()642 req_hdr->dev_id = rpmb_ctx->dev_id; in tee_rpmb_req_pack()975 mem.req_hdr->dev_id = rpmb_ctx->dev_id; in tee_rpmb_get_dev_info()1145 rpmb_ctx->dev_id = CFG_RPMB_FS_DEV_ID; in legacy_rpmb_init()
289 TEE_UUID dev_id = { }; in set_token_description() local294 "gpd.tee.deviceID", &dev_id); in set_token_description()297 " - TEE UUID %pUl", (void *)&dev_id); in set_token_description()