gicc_read - NetBSD

347

uint32_t iar = gicc_read(sc, GICC_IAR);

352

iar = gicc_read(sc, GICC_IAR);

362

old_ipl, gicc_read(sc, GICC_PMR), gicc_read(sc, GICC_HPPIR));

389

gicc_read(sc, GICC_PMR));

628

uint32_t pmr = gicc_read(sc, GICC_PMR);

631

const uint32_t iidr = gicc_read(sc, GICC_IIDR);