Symbol: EBV64
usr/src/psm/stand/boot/common/readfile.c
914
EBV64(bv, EB_AUXV, 0); /* fill in later */
usr/src/psm/stand/boot/common/readfile.c
915
EBV64(bv, EB_PAGESIZE, pagesize);
usr/src/psm/stand/boot/common/readfile.c
916
EBV64(bv, EB_DYNAMIC, dynamic);
usr/src/psm/stand/boot/common/readfile.c
917
EBV64(bv, EB_NULL, 0);