aa_restore_previous_label
error = aa_restore_previous_label(token);
int aa_restore_previous_label(u64 cookie);