tss_initialize 157 kernel/arch/amd64/src/pm.c void tss_initialize(tss_t *t) tss_initialize 156 kernel/arch/ia32/src/pm.c void tss_initialize(tss_t *t)