hp_exit_secure_platform_attributes
hp_exit_secure_platform_attributes();
void hp_exit_secure_platform_attributes(void);