Lines Matching defs:get_machine
277 static char *get_machine(void);
2491 "%s%s%s%s%s", root, ARCHIVE_PREFIX, get_machine(), what == FILE64 ?
2541 ARCHIVE_PREFIX, get_machine(), UPDATEDIR_SUFFIX);
2545 ARCHIVE_PREFIX, get_machine(), UPDATEDIR_SUFFIX);
2579 "%s%s%s/amd64%s", root, ARCHIVE_PREFIX, get_machine(),
2583 root, ARCHIVE_PREFIX, get_machine(), ARCHIVE_SUFFIX);
2695 ARCHIVE_PREFIX, get_machine(), CACHEDIR_SUFFIX);
3683 get_machine(), getpid());
3686 root, ARCHIVE_PREFIX, get_machine(), getpid());
3693 "%s%s%s/amd64%s", root, ARCHIVE_PREFIX, get_machine(),
3697 "%s%s%s%s", root, ARCHIVE_PREFIX, get_machine(),
3707 "%s/platform/%s/lib/fs/hsfs/bootblk", root, get_machine());
10283 get_machine(void)