x86::task::TaskStateDescriptorHigh [−] [src]

type TaskStateDescriptorHigh = u64;