Searched refs:gicc_size (Results 1 – 1 of 1) sorted by relevance
462 uint64_t gicc_base, uint64_t gicc_size) in make_gicv2_node() argument488 gicc_base, gicc_size); in make_gicv2_node()
Completed in 3 milliseconds