Did you mean (for linux):gicr_base_address gicv_base_address
Your search defs:gich_base_address did not match any files. Suggestions: