Searched refs:gicv_to_string (Results 1 – 1 of 1) sorted by relevance
28 static const char *gicv_to_string(uint8_t gic_version) in gicv_to_string() function867 LOG(DEBUG, " - vGIC version: %s", gicv_to_string(xc_config->gic_version)); in libxl__prepare_dtb()943 gicv_to_string(xc_config->gic_version)); in libxl__prepare_dtb()
Completed in 4 milliseconds