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

  /device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/
gicv2.h 188 void gicv2_raise_sgi(int sgi_num, int proc_num);
  /device/linaro/bootloader/arm-trusted-firmware/plat/common/
plat_gicv2.c 239 gicv2_raise_sgi(sgi_num, id);
  /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/v2/
gicv2_main.c 407 void gicv2_raise_sgi(int sgi_num, int proc_num) function

Completed in 726 milliseconds