mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 18:06:50 +00:00
The class Genode::Tss represents a 64-bit Task State Segment (TSS) as specified by Intel SDM Vol. 3A, section 7.7. The setup function sets the stack pointers for privilege levels 0-2 to the kernel stack address. The load function loads the TSS segment selector into the task register.