HelenOS sources

tss_descriptor_t  105 kernel/arch/amd64/src/ddi/ddi.c 	tss_descriptor_t *tss_desc = (tss_descriptor_t *) &gdt_p[TSS_DES];
tss_descriptor_t  131 kernel/arch/amd64/src/pm.c 	tss_descriptor_t *td = (tss_descriptor_t *) d;
tss_descriptor_t  141 kernel/arch/amd64/src/pm.c 	tss_descriptor_t *td = (tss_descriptor_t *) d;
tss_descriptor_t  255 kernel/arch/amd64/src/pm.c 	tss_descriptor_t *tss_desc;
tss_descriptor_t  284 kernel/arch/amd64/src/pm.c 	tss_desc = (tss_descriptor_t *) (&gdt_p[TSS_DES]);