Searched refs:gicr_read64 (Results 1 – 1 of 1) sorted by relevance
45 #define gicr_read64(offset) (_gic_read64(gicr_pe_base + (offset))) macro55 uint64_t gicr_typer = gicr_read64(GICR_TYPER); in find_gicr_pe_base()