Searched refs:early_gicv4_enable (Results 1 – 1 of 1) sorted by relevance
571 static int __init early_gicv4_enable(char *buf) in early_gicv4_enable() function575 early_param("kvm-arm.vgic_v4_enable", early_gicv4_enable);