Intel Extensible Firmware Interface - Manual (Page 19)

Contents
Version 1.10 12/01/02 xix
19.11 EBC Interpreter Protocol ................................................................................. 19-63
EFI_EBC_PROTOCOL ................................................................................ 19-63
EFI_EBC_PROTOCOL.CreateThunk() ...................................................... 19-65
EFI_EBC_PROTOCOL.UnloadImage() ..................................................... 19-66
EFI_EBC_PROTOCOL.RegisterICacheFlush().......................................... 19-67
EFI_EBC_PROTOCOL.GetVersion()......................................................... 19-69
19.12 EBC Tools....................................................................................................... 19-70
19.12.1 EBC C Compiler ..................................................................................... 19-70
19.12.2 C Coding Convention ............................................................................. 19-70
19.12.3 EBC Interface Assembly Instructions...................................................... 19-70
19.12.4 Stack Maintenance and Argument Passing ............................................ 19-70
19.12.5 Native to EBC Arguments Calling Convention ........................................ 19-71
19.12.6 EBC to Native Arguments Calling Convention ........................................ 19-71
19.12.7 EBC to EBC Arguments Calling Convention........................................... 19-71
19.12.8 Function Returns .................................................................................... 19-71
19.12.9 Function Return Values .......................................................................... 19-71
19.12.10 Thunking ................................................................................................ 19-72
19.12.10.1 Thunking EBC to Native Code .................................................... 19-72
19.12.10.2 Thunking Native Code to EBC .................................................... 19-73
19.12.10.3 Thunking EBC to EBC ................................................................ 19-73
19.12.11 EBC Linker ............................................................................................. 19-74
19.12.12 Image Loader ......................................................................................... 19-74
19.12.13 Debug Support ....................................................................................... 19-74
19.13 VM Exception Handling................................................................................... 19-75
19.13.1 Divide By 0 Exception ............................................................................ 19-75
19.13.2 Debug Break Exception.......................................................................... 19-75
19.13.3 Invalid Opcode Exception....................................................................... 19-75
19.13.4 Stack Fault Exception............................................................................. 19-75
19.13.5 Alignment Exception............................................................................... 19-75
19.13.6 Instruction Encoding Exception .............................................................. 19-75
19.13.7 Bad Break Exception.............................................................................. 19-76
19.13.8 Undefined Exception .............................................................................. 19-76
19.14 Option ROM Formats ...................................................................................... 19-76
19.14.1 EFI Drivers for PCI Add-in Cards............................................................ 19-76
19.14.2 Non-PCI Bus Support............................................................................. 19-76
Appendix A GUID and Time Formats ............................................................................. A-1
Appendix B Console
B.1 SIMPLE_INPUT .................................................................................................. B-1
B.2 SIMPLE_TEXT_OUTPUT ................................................................................... B-2
Appendix C Device Path Examples
C.1 Example Computer System.................................................................................C-1
C.2 Legacy Floppy ....................................................................................................C-2
C.3 IDE Disk..............................................................................................................C-3
C.4 Secondary Root PCI Bus with PCI to PCI Bridge ................................................C-5
C.5 ACPI Terms ........................................................................................................C-6
C.6 EFI Device Path as a Name Space .....................................................................C-7