Searched refs:payload_name (Results 1 – 2 of 2) sorted by relevance
918 const char *payload_name; in ppce500_init() local1183 payload_name = machine->kernel_filename; in ppce500_init()1186 payload_name = "u-boot.e500"; in ppce500_init()1189 payload_name = machine->firmware; in ppce500_init()1192 filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, payload_name); in ppce500_init()1194 error_report("could not find firmware/kernel file '%s'", payload_name); in ppce500_init()
643 static void dce_aux_log_payload(const char *payload_name, in dce_aux_log_payload() argument682 payload_name, in dce_aux_log_payload()690 payload_name, in dce_aux_log_payload()