ArmGicDispatcher.h

Go to the documentation of this file.

 
#ifndef ARM_GIC_DISPATCHER_H_
#define ARM_GIC_DISPATCHER_H_
 
#include <FdtHwInfoParserInclude.h>
#include "FdtUtility.h"
 
extern CONST COMPATIBILITY_INFO  GicV2CompatibleInfo;
 
EFI_STATUS
EFIAPI
GetGicVersion (
  IN  CONST VOID    *Fdt,
  IN        INT32   IntcNode,
  OUT       UINT32  *GicVersion
  );
 
EFI_STATUS
EFIAPI
ArmGicDispatcher (
  IN  CONST FDT_HW_INFO_PARSER_HANDLE  FdtParserHandle,
  IN        INT32                      FdtBranch
  );
 
#endif // ARM_GIC_DISPATCHER_H_