hat_free_start
void hat_free_start(struct hat *);
hat_free_start(hat);
hat_free_start(hci->hci_user_hat);