EFI_VARNAME_MAXBYTES
ev.name = ecalloc(EFI_VARNAME_MAXBYTES, 1);
ev.namesize = EFI_VARNAME_MAXBYTES;
if (var->namesize > EFI_VARNAME_MAXBYTES) {
if (var->namesize > EFI_VARNAME_MAXBYTES) {
CTASSERT(EFI_VARNAME_MAXBYTES <= ULONG_MAX);