@@ -28,6 +28,9 @@ struct tee_mediator_ops {
*/
bool (*probe)(void);
+ /* Initialize secondary CPUs */
+ void (*init_secondary)(void);
+
/*
* Called during domain construction if toolstack requests to enable
* TEE support so mediator can inform TEE about new
@@ -66,6 +69,7 @@ int tee_domain_init(struct domain *d, uint16_t tee_type);
int tee_domain_teardown(struct domain *d);
int tee_relinquish_resources(struct domain *d);
uint16_t tee_get_type(void);
+void init_tee_secondary(void);
#define REGISTER_TEE_MEDIATOR(_name, _namestr, _type, _ops) \
static const struct tee_mediator_desc __tee_desc_##_name __used \
@@ -105,6 +109,10 @@ static inline uint16_t tee_get_type(void)
return XEN_DOMCTL_CONFIG_TEE_NONE;
}
+static inline void init_tee_secondary(void)
+{
+}
+
#endif /* CONFIG_TEE */
#endif /* __ARCH_ARM_TEE_TEE_H__ */
@@ -29,6 +29,7 @@
#include <asm/procinfo.h>
#include <asm/psci.h>
#include <asm/acpi.h>
+#include <asm/tee/tee.h>
/* Override macros from asm/page.h to make them work with mfn_t */
#undef virt_to_mfn
@@ -401,6 +402,7 @@ void asmlinkage start_secondary(void)
*/
init_maintenance_interrupt();
init_timer_interrupt();
+ init_tee_secondary();
local_abort_enable();
@@ -96,6 +96,12 @@ static int __init tee_init(void)
__initcall(tee_init);
+void __init init_tee_secondary(void)
+{
+ if ( cur_mediator && cur_mediator->ops->init_secondary )
+ cur_mediator->ops->init_secondary();
+}
+
/*
* Local variables:
* mode: C