Searched refs:set_tss64 (Results 1 – 3 of 3) sorted by relevance
88 …set_tss64((uint *)&initial_tss[0], _stack_start, _stack_start, _stack_start, tss_item_addr, tss_it… in system_initialize()
174 void set_tss64(unsigned int *Table, unsigned long rsp0, unsigned long rsp1, unsigned long rsp2, uns… in set_tss64() function
104 set_tss64( in smp_init()