| Home | Sort by: relevance | last modified time | path |
| /src/sys/external/bsd/gnu-efi/dist/inc/ | |
| efidevp.h | 333 UINT64 TargetPortId; |
| /src/sys/external/bsd/gnu-efi/dist/lib/ | |
| dpath.c | 871 InfiniBand->TargetPortId, InfiniBand->DeviceId); |