Searched refs:gic_update_vlpi_properties (Results 1 – 1 of 1) sorted by relevance
522 static void gic_update_vlpi_properties(void) in gic_update_vlpi_properties() function1128 gic_update_vlpi_properties(); in gic_init_bases()