ds_configure      826 arch/x86/kernel/ds.c 			ds_configure(&ds_cfg_var);
ds_configure      830 arch/x86/kernel/ds.c 			ds_configure(&ds_cfg_64);
ds_configure      842 arch/x86/kernel/ds.c 			ds_configure(&ds_cfg_var);