Intel Extensible Firmware Interface - Manual (Page 1071)

Index
Version 1.10 12/01/02 Index-5
EBC instruction descriptions, 1-13
EBC instruction encoding, 19-10
EBC instruction operands, 19-7
direct operands, 19-7
immediate operands, 19-8
indirect operands, 19-7
indirect with index operands, 19-8
EBC instruction set, 19-11
EBC instruction syntax, 19-9
EBC Interpreter Protocol, 19-63
Functions
CreateThunk(), 19-65
GetVersion(), 19-69
RegisterICacheFlush(), 19-67
UnloadImage(), 19-66
GUID, 19-63
Interface Structure, 19-63
EBC tools
C coding convention, 19-70
debug support, 19-74
EBC C compiler, 19-70
EBC interface assembly instructions, 19-70
EBC linker, 19-74
EBC to EBC arguments calling convention,
19-71
EBC to native arguments calling convention,
19-71
function return values, 19-71
function returns, 19-71
image loader, 19-74
native to EBC arguments calling convention,
19-71
stack maintenance and argument passing,
19-70
thunking, 19-72
EBC Tools, 19-70
EBC virtual machine, 19-1
architectural requirements, 19-61
runtime and software conventions, 19-61
EFI Application, 2-3, 2-4, 11-4
EFI Application, definition of, Glossary-5
EFI Boot Manager, 11-5
EFI Boot Services Table, 4-1
EFI Bus-Specific Driver Override Protocol
functions
GetDriver(), 9-31
EFI Byte Code (EBC), definition of, Glossary-5
EFI Byte Code Virtual Machine, 1-2
EFI Component Name Protocol, 12-46
functions
GetControllerName(), 9-49
GetDriverName(), 9-47
EFI Debug Support Protocol, 16-2
EFI debug support table, 16-22
EFI Debugport Protocol, 16-14
EFI debugport variable, 16-21
EFI Directory Structure, 11-5
EFI Driver, 11-4
EFI Driver Binding Protocol
functions
Start(), 9-10
Stop(), 9-18
Supported(), 9-4
EFI Driver Configuration Protocol, 12-46
functions
ForceDefaults(), 9-39
OptionsValid(), 9-37
SetOptions(), 9-34
EFI driver configuration type, 9-40
EFI Driver Diagnostics Protocol, 12-46
EFI Driver Diagnstics Protocol
functions
RunDiagnostics(), 9-43
EFI driver model, 1-9
EFI Driver Model, 1-2
EFI Driver, definition of, Glossary-5
EFI File, definition of, Glossary-5
EFI Hard Disk, definition of, Glossary-5
EFI Image, 2-2, 11-4
EFI Image handoff state, 2-10
IA-32, 2-9
EFI Image Header, 2-2
PE32+ image format, 2-2
EFI image info, 16-24
EFI Image, definition of, Glossary-7
EFI OS Loader, 2-3, 11-4
EFI OS loader, definition of, Glossary-5
EFI Partition Header, 11-8
EFI partitioning scheme, 11-8
EFI Platform Driver Override Protocol
functions
DriverLoaded(), 9-28
GetDriver(), 9-24
GetDriverPath(), 9-26