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

type TaskStateDescriptorHigh = u64;