target_file_exists_p
if (target_file_exists_p(EFIBOOT))
int target_file_exists_p(const char *);
target_file_exists_p("/etc/fstab") == 0) {
if (target_file_exists_p("/boot.cfg")) {
if (target_file_exists_p("/boot.cfg")) {