Symbol: __BOOT_NAUXV_IMPL
usr/src/psm/stand/boot/common/readfile.c
515
auxv32_t auxv[__BOOT_NAUXV_IMPL]; /* Aux vector */
usr/src/psm/stand/boot/common/readfile.c
899
auxv64_t auxv[__BOOT_NAUXV_IMPL]; /* Aux vector */