48 	u32 c32;  in utf8_to_utf32()  local
68 	c32 = cx >> clen--;  in utf8_to_utf32()
74 		c32 = (c32 << 6) | cx;  in utf8_to_utf32()
82 	if (c32 > 0x10ffff ||  in utf8_to_utf32()
83 	    (c32 & 0xf800) == 0xd800 ||  in utf8_to_utf32()
84 	    clen != (c32 >= 0x80) + (c32 >= 0x800) + (c32 >= 0x10000))  in utf8_to_utf32()
87 	return c32;  in utf8_to_utf32()
99 	u32 c32;  in efi_puts()  local
104 		c32 = utf8_to_utf32(&s8);  in efi_puts()
105 		if (c32 < 0x10000) {  in efi_puts()
107 			buf[pos++] = c32;  in efi_puts()
113 			buf[pos++] = (0xd800 - (0x10000 >> 10)) + (c32 >> 10);  in efi_puts()
114 			buf[pos++] = 0xdc00 + (c32 & 0x3ff);  in efi_puts()