Home
last modified time | relevance | path

Searched defs:VGICMaintenanceInterrupt (Results 1 – 3 of 3) sorted by relevance

/device/linaro/bootloader/edk2/MdePkg/Include/IndustryStandard/
DAcpi51.h511 UINT32 VGICMaintenanceInterrupt; member
DAcpi60.h512 UINT32 VGICMaintenanceInterrupt; member
DAcpi61.h512 UINT32 VGICMaintenanceInterrupt; member