Searched refs:grub_cv_asm_addr32 (Results 1 – 3 of 3) sorted by relevance
95 AC_CACHE_VAL(grub_cv_asm_addr32,108 grub_cv_asm_addr32=yes110 grub_cv_asm_addr32=no115 AC_MSG_RESULT([$grub_cv_asm_addr32])])
4001 grub_cv_asm_addr32=yes4003 grub_cv_asm_addr32=no4010 echo "$as_me:$LINENO: result: $grub_cv_asm_addr32" >&54011 echo "${ECHO_T}$grub_cv_asm_addr32" >&64012 if test "x$grub_cv_asm_addr32" != xyes; then
170 if test "x$grub_cv_asm_addr32" != xyes; then