Searched refs:ml_cpu_set_ldt (Results 1 – 4 of 4) sorted by relevance
419 ml_cpu_set_ldt(USER_LDT); in user_ldt_set()421 ml_cpu_set_ldt(KERNEL_LDT); in user_ldt_set()
65 void ml_cpu_set_ldt(int);
1177 ml_cpu_set_ldt(int selector) in ml_cpu_set_ldt() function
652 ml_cpu_set_ldt(KERNEL_LDT); in act_machine_switch_pcb()