taglinefilesource code
load_ldt549fs/exec.cload_ldt(i);
load_ldt70kernel/ldt.cload_ldt(i);
load_ldt827kernel/sched.cload_ldt(0);