HomeSort by: relevance | last modified time | path
    Searched refs:IO_UINT32 (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/external/bsd/gnu-efi/dist/inc/
efilib.h 1071 #define outpd(_Port, _DataByte) (UINT32)WritePort(GlobalIoFncs, IO_UINT32, (UINTN)_Port, (UINTN)_DataByte)
1072 #define inpd(_Port) (UINT32)ReadPort(GlobalIoFncs, IO_UINT32, (UINTN)_Port)
1078 #define writepci32(_Addr, _DataByte) (UINT32)WritePciConfig(GlobalIoFncs, IO_UINT32, (UINTN)_Addr, (UINTN)_DataByte)
1079 #define readpci32(_Addr) (UINT32)ReadPciConfig(GlobalIoFncs, IO_UINT32, (UINTN)_Addr)
efiprot.h 578 IO_UINT32,

Completed in 73 milliseconds