HomeSort by relevance Sort by last modified time
    Searched refs:gicd_read_cpendsgir (Results 1 - 3 of 3) sorted by null

  /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/
gic_v2.c 77 unsigned int gicd_read_cpendsgir(uintptr_t base, unsigned int id) function
  /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/v2/
gicv2_helpers.c 30 unsigned int gicd_read_cpendsgir(uintptr_t base, unsigned int id) function
  /device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/
gic_v2.h 120 unsigned int gicd_read_cpendsgir(uintptr_t, unsigned int);

Completed in 58 milliseconds