Searched refs:set_df_gdt_entry (Results 1 – 1 of 1) sorted by relevance
17 static void set_df_gdt_entry(unsigned int cpu);34 set_df_gdt_entry(smp_processor_id()); in doublefault_shim()109 static void set_df_gdt_entry(unsigned int cpu) in set_df_gdt_entry() function130 set_df_gdt_entry(cpu); in doublefault_init_cpu_tss()
