Searched refs:gic_config (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/drivers/pl390_dist/
H A Dmain.c69 pl390_gic_dist_ICDICTR_t gic_config = pl390_gic_dist_ICDICTR_rd(&ds->devgic); local
75 pl390_gic_dist_ICDICTR_it_lines_num_extract(gic_config);
77 ds->cpu_count = pl390_gic_dist_ICDICTR_cpu_number_extract(gic_config) + 1;

Completed in 25 milliseconds