Searched refs:set_df_gdt_entry (Results 1 – 1 of 1) sorted by relevance
18 static void set_df_gdt_entry(unsigned int cpu);35 set_df_gdt_entry(smp_processor_id()); in doublefault_shim()107 static void set_df_gdt_entry(unsigned int cpu) in set_df_gdt_entry() function128 set_df_gdt_entry(cpu); in doublefault_init_cpu_tss()