1 files changed, 4 insertions, 4 deletions

diff --git a/arch/x86/kernel/ds.c b/arch/x86/kernel/ds.c
index dcd918c1580d..11c11b8ec48d 100644
--- a/arch/x86/kernel/ds.c
+++ b/arch/x86/kernel/ds.c
@@ -220,11 +220,11 @@ int ds_allocate(void **dsp, size_t bts_size_in_bytes)
 
 int ds_free(void **dsp)
 {
-        if (*dsp)
+        if (*dsp) {
                 kfree((void *)get_bts_buffer_base(*dsp));
-        kfree(*dsp);
-        *dsp = NULL;
-
+                kfree(*dsp);
+                *dsp = NULL;
+        }
         return 0;
 }