Searched refs:tss_ss0 (Results 1 – 3 of 3) sorted by relevance
47 int tss_ss0; /* kernel stack segment at privilege level 0 */ member
958 tss->tss_ss0 = GSEL(GDATA_SEL, SEL_KPL); in tss_init()
586 tss->tss_ss0 = GSEL(GDATA_SEL, SEL_KPL); in cpu_init_tss()