Searched refs:versal_ipi_cmd_data_push_val (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/drivers/ |
| H A D | versal_ocp.c | 134 static void versal_ipi_cmd_data_push_val(struct versal_ipi_cmd *cmd, in versal_ipi_cmd_data_push_val() function
242 versal_ipi_cmd_data_push_val(&cmd, OCP_API_ID(EXTEND_HWPCR)); in versal_ocp_extend_hwpcr()
244 versal_ipi_cmd_data_push_val(&cmd, pcr_num); in versal_ocp_extend_hwpcr()
250 versal_ipi_cmd_data_push_val(&cmd, data_size); in versal_ocp_extend_hwpcr()
276 versal_ipi_cmd_data_push_val(&cmd, OCP_API_ID(GET_HWPCR)); in versal_ocp_get_hwpcr()
278 versal_ipi_cmd_data_push_val(&cmd, pcr_mask); in versal_ocp_get_hwpcr()
284 versal_ipi_cmd_data_push_val(&cmd, pcr_size); in versal_ocp_get_hwpcr()
318 versal_ipi_cmd_data_push_val(&cmd, OCP_API_ID(GET_HWPCRLOG)); in versal_ocp_get_hwpcr_log()
329 versal_ipi_cmd_data_push_val(&cmd, events_size / sizeof(*events)); in versal_ocp_get_hwpcr_log()
380 versal_ipi_cmd_data_push_val(&cmd, OCP_API_ID(EXTEND_SWPCR)); in versal_ocp_extend_swpcr()
[all …]
|