Home
last modified time | relevance | path

Searched refs:tee_type (Results 1 – 7 of 7) sorted by relevance

/xen/xen/arch/arm/tee/
A Dtee.c41 int tee_domain_init(struct domain *d, uint16_t tee_type) in tee_domain_init() argument
43 if ( tee_type == XEN_DOMCTL_CONFIG_TEE_NONE ) in tee_domain_init()
49 if ( cur_mediator->tee_type != tee_type ) in tee_domain_init()
68 return cur_mediator->tee_type; in tee_get_type()
/xen/xen/include/asm-arm/tee/
A Dtee.h60 uint16_t tee_type; member
64 int tee_domain_init(struct domain *d, uint16_t tee_type);
73 .tee_type = _type \
83 static inline int tee_domain_init(struct domain *d, uint16_t tee_type) in tee_domain_init() argument
85 if ( likely(tee_type == XEN_DOMCTL_CONFIG_TEE_NONE) ) in tee_domain_init()
/xen/xen/arch/arm/
A Ddomain.c674 if ( config->arch.tee_type != XEN_DOMCTL_CONFIG_TEE_NONE && in arch_sanitise_domain_config()
675 config->arch.tee_type != tee_get_type() ) in arch_sanitise_domain_config()
737 if ( (rc = tee_domain_init(d, config->arch.tee_type)) != 0 ) in arch_domain_create()
A Dsetup.c952 dom0_cfg.arch.tee_type = tee_get_type(); in start_xen()
/xen/xen/include/public/
A Darch-arm.h317 uint16_t tee_type; member
/xen/tools/libxl/
A Dlibxl_arm.c94 config->arch.tee_type = XEN_DOMCTL_CONFIG_TEE_NONE; in libxl__arch_domain_prepare_config()
97 config->arch.tee_type = XEN_DOMCTL_CONFIG_TEE_OPTEE; in libxl__arch_domain_prepare_config()
A Dlibxl_types.idl474 libxl_tee_type = Enumeration("tee_type", [

Completed in 11 milliseconds