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