tpmi_get_platform_ops
isst_ops = tpmi_get_platform_ops();
extern struct isst_platform_ops *tpmi_get_platform_ops(void);