uefi.x64

Modules

bind
module uefi.x64.bind

Based on X64/ProcessorBind.h file, original notice: