pub type Char16 = u16;
Dual-byte Character Type
The Char16 type represents dual-byte characters. UEFI defines them to be UCS-2 encoded.
Char16