Searched refs:die (Results 1 – 8 of 8) sorted by relevance
30 function die { function46 …$QEMU_IMG | grep "Partition name:" | awk '{print $3}') == "'system'" ]] || die "Partition 1 is not…48 …{8}-[[:xdigit:]]{4}-[[:xdigit:]]{4}-[[:xdigit:]]{4}-[[:xdigit:]]{12} ]] || die "GUID looks incorre…83 [[ $ROOT_DIGEST =~ [[:xdigit:]]{40} ]] || die "ROOT_DIGEST looks incorrect: $ROOT_DIGEST"84 [[ $SALT =~ [[:xdigit:]]{40} ]] || die "SALT looks incorrect: $SALT"
28 function die { function
22 die ( ) { function74 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME81 …which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be foun…
86 uint32_t die; in get_cs_die_capability() local93 die = bandwidth / die_bandwidth; in get_cs_die_capability()99 return (cs_cap / die); in get_cs_die_capability()
606 /* die if we have to */
379 ffffffff81008f80 T die
980 ffffffff8101e6d0 T die