Searched refs:VirtualTimerGSIV (Results 1 – 9 of 9) sorted by relevance
54 FixedPcdGet32 (PcdArmArchTimerVirtIntrNum), // UINT32 VirtualTimerGSIV84 FixedPcdGet32 (PcdArmArchTimerVirtIntrNum), // UINT32 VirtualTimerGSIV
68 FixedPcdGet32 (PcdArmArchTimerVirtIntrNum), // UINT32 VirtualTimerGSIV
67 FixedPcdGet32 (PcdArmArchTimerVirtIntrNum), // UINT32 VirtualTimerGSIV
103 FVP_VIRTUAL_TIMER_GSIV, // UINT32 VirtualTimerGSIV
1258 UINT32 VirtualTimerGSIV; member
1305 UINT32 VirtualTimerGSIV; member
1273 UINT32 VirtualTimerGSIV; member