file_exists_p
if (file_exists_p(kernelbin)) {
int file_exists_p(const char *);
if (file_exists_p(devdev))
if (file_exists_p(devdev))
if (!file_exists_p(devdev))
if (!file_exists_p(devdev))
if (!file_exists_p(path)) {
if (!file_exists_p(path)) {