usr/src/boot/efi/include/Base.h

593

typedef int *va_list[1];

usr/src/boot/efi/include/Base.h

598

} va_list;

usr/src/boot/include/stdio.h

63

typedef __va_list va_list;

usr/src/boot/sys/x86/include/stdarg.h

39

typedef __va_list va_list;

usr/src/head/iso/stdarg_iso.h

65

typedef __va_list va_list;

usr/src/head/iso/stdarg_iso.h

69

typedef __va_list va_list;

usr/src/head/stdio.h

191

typedef __va_list va_list;

usr/src/head/varargs.h

54

typedef __va_list va_list;

usr/src/head/wchar.h

120

typedef __va_list va_list;

usr/src/uts/common/sys/varargs.h

56

typedef __va_list va_list;

usr/src/uts/intel/sys/acpi/platform/acgcc.h

161

typedef __builtin_va_list va_list;

usr/src/uts/intel/sys/acpi/platform/acmsvcex.h

186

typedef char *va_list;