35 	 * The position of the most-significant 0 bit gives us the length of  in utf8_to_utf32()
38 	for (clen = 0; cx & 0x80; ++clen)  in utf8_to_utf32()
41 	 * If the 0 bit is in position 8, this is a valid single-octet  in utf8_to_utf32()
42 	 * encoding. If the 0 bit is in position 7 or positions 1-3, the  in utf8_to_utf32()
50 	for (i = 0; i < clen; ++i) {  in utf8_to_utf32()
52 		cx = (*s8)[i] ^ 0x80;  in utf8_to_utf32()
53 		if (cx & 0xc0)  in utf8_to_utf32()
63 	if (c32 > 0x10ffff ||  in utf8_to_utf32()
64 	    (c32 & 0xf800) == 0xd800 ||  in utf8_to_utf32()
65 	    clen != (c32 >= 0x80) + (c32 >= 0x800) + (c32 >= 0x10000))  in utf8_to_utf32()
78 	size_t pos = 0, lim = ARRAY_SIZE(buf);  in efi_puts()
86 		if (c32 < 0x10000) {  in efi_puts()
87 			/* Characters in plane 0 use a single word. */  in efi_puts()
94 			buf[pos++] = (0xd800 - (0x10000 >> 10)) + (c32 >> 10);  in efi_puts()
95 			buf[pos++] = 0xdc00 + (c32 & 0x3ff);  in efi_puts()
97 		if (*s8 == '\0' || pos >= lim - 2) {  in efi_puts()
98 			buf[pos] = L'\0';  in efi_puts()
100 			pos = 0;  in efi_puts()
123 	case '0' ... '9':  in efi_printk()
124 		loglevel -= '0';  in efi_printk()
136 		return 0;  in efi_printk()
138 	if (loglevel >= 0)  in efi_printk()