int is_knox_present(void);
int remove_knox(void);
int restore_knox(void);

.