Symbol: is_amd64
usr/src/cmd/boot/bootadm/bootadm.c
2322
if (!is_amd64() && strstr(file, "/amd64/") != 0)
usr/src/cmd/boot/bootadm/bootadm.c
293
static int is_amd64(void);