Searched refs:health (Results 1 - 2 of 2) sorted by relevance

/u-boot/cmd/broadcom/
H A Dchimp_boot.c13 u32 health = 0; local
15 if (chimp_health_status_optee(&health)) {
16 pr_err("Chimp health command fail\n");
20 if (health == BCM_CHIMP_RUNNIG_GOOD) {
/u-boot/drivers/tee/broadcom/
H A Dchimp_optee.c98 int chimp_health_status_optee(u32 *health) argument
118 *health = param[0].u.value.a;
173 printf("ChiMP health status fail (OPTEE not enabled)\n");

Completed in 57 milliseconds