1*f439973dSWarner Losh /** @file 2*f439973dSWarner Losh Describes the protocol interface to the EBC interpreter. 3*f439973dSWarner Losh 4*f439973dSWarner Losh Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR> 5*f439973dSWarner Losh SPDX-License-Identifier: BSD-2-Clause-Patent 6*f439973dSWarner Losh 7*f439973dSWarner Losh **/ 8*f439973dSWarner Losh 9*f439973dSWarner Losh #ifndef __EFI_EBC_PROTOCOL_H__ 10*f439973dSWarner Losh #define __EFI_EBC_PROTOCOL_H__ 11*f439973dSWarner Losh 12*f439973dSWarner Losh #define EFI_EBC_INTERPRETER_PROTOCOL_GUID \ 13*f439973dSWarner Losh { \ 14*f439973dSWarner Losh 0x13AC6DD1, 0x73D0, 0x11D4, {0xB0, 0x6B, 0x00, 0xAA, 0x00, 0xBD, 0x6D, 0xE7 } \ 15*f439973dSWarner Losh } 16*f439973dSWarner Losh 17*f439973dSWarner Losh // 18*f439973dSWarner Losh // Define OPCODES 19*f439973dSWarner Losh // 20*f439973dSWarner Losh #define OPCODE_BREAK 0x00 21*f439973dSWarner Losh #define OPCODE_JMP 0x01 22*f439973dSWarner Losh #define OPCODE_JMP8 0x02 23*f439973dSWarner Losh #define OPCODE_CALL 0x03 24*f439973dSWarner Losh #define OPCODE_RET 0x04 25*f439973dSWarner Losh #define OPCODE_CMPEQ 0x05 26*f439973dSWarner Losh #define OPCODE_CMPLTE 0x06 27*f439973dSWarner Losh #define OPCODE_CMPGTE 0x07 28*f439973dSWarner Losh #define OPCODE_CMPULTE 0x08 29*f439973dSWarner Losh #define OPCODE_CMPUGTE 0x09 30*f439973dSWarner Losh #define OPCODE_NOT 0x0A 31*f439973dSWarner Losh #define OPCODE_NEG 0x0B 32*f439973dSWarner Losh #define OPCODE_ADD 0x0C 33*f439973dSWarner Losh #define OPCODE_SUB 0x0D 34*f439973dSWarner Losh #define OPCODE_MUL 0x0E 35*f439973dSWarner Losh #define OPCODE_MULU 0x0F 36*f439973dSWarner Losh #define OPCODE_DIV 0x10 37*f439973dSWarner Losh #define OPCODE_DIVU 0x11 38*f439973dSWarner Losh #define OPCODE_MOD 0x12 39*f439973dSWarner Losh #define OPCODE_MODU 0x13 40*f439973dSWarner Losh #define OPCODE_AND 0x14 41*f439973dSWarner Losh #define OPCODE_OR 0x15 42*f439973dSWarner Losh #define OPCODE_XOR 0x16 43*f439973dSWarner Losh #define OPCODE_SHL 0x17 44*f439973dSWarner Losh #define OPCODE_SHR 0x18 45*f439973dSWarner Losh #define OPCODE_ASHR 0x19 46*f439973dSWarner Losh #define OPCODE_EXTNDB 0x1A 47*f439973dSWarner Losh #define OPCODE_EXTNDW 0x1B 48*f439973dSWarner Losh #define OPCODE_EXTNDD 0x1C 49*f439973dSWarner Losh #define OPCODE_MOVBW 0x1D 50*f439973dSWarner Losh #define OPCODE_MOVWW 0x1E 51*f439973dSWarner Losh #define OPCODE_MOVDW 0x1F 52*f439973dSWarner Losh #define OPCODE_MOVQW 0x20 53*f439973dSWarner Losh #define OPCODE_MOVBD 0x21 54*f439973dSWarner Losh #define OPCODE_MOVWD 0x22 55*f439973dSWarner Losh #define OPCODE_MOVDD 0x23 56*f439973dSWarner Losh #define OPCODE_MOVQD 0x24 57*f439973dSWarner Losh #define OPCODE_MOVSNW 0x25 // Move signed natural with word index 58*f439973dSWarner Losh #define OPCODE_MOVSND 0x26 // Move signed natural with dword index 59*f439973dSWarner Losh // 60*f439973dSWarner Losh // #define OPCODE_27 0x27 61*f439973dSWarner Losh // 62*f439973dSWarner Losh #define OPCODE_MOVQQ 0x28 // Does this go away? 63*f439973dSWarner Losh #define OPCODE_LOADSP 0x29 64*f439973dSWarner Losh #define OPCODE_STORESP 0x2A 65*f439973dSWarner Losh #define OPCODE_PUSH 0x2B 66*f439973dSWarner Losh #define OPCODE_POP 0x2C 67*f439973dSWarner Losh #define OPCODE_CMPIEQ 0x2D 68*f439973dSWarner Losh #define OPCODE_CMPILTE 0x2E 69*f439973dSWarner Losh #define OPCODE_CMPIGTE 0x2F 70*f439973dSWarner Losh #define OPCODE_CMPIULTE 0x30 71*f439973dSWarner Losh #define OPCODE_CMPIUGTE 0x31 72*f439973dSWarner Losh #define OPCODE_MOVNW 0x32 73*f439973dSWarner Losh #define OPCODE_MOVND 0x33 74*f439973dSWarner Losh // 75*f439973dSWarner Losh // #define OPCODE_34 0x34 76*f439973dSWarner Losh // 77*f439973dSWarner Losh #define OPCODE_PUSHN 0x35 78*f439973dSWarner Losh #define OPCODE_POPN 0x36 79*f439973dSWarner Losh #define OPCODE_MOVI 0x37 80*f439973dSWarner Losh #define OPCODE_MOVIN 0x38 81*f439973dSWarner Losh #define OPCODE_MOVREL 0x39 82*f439973dSWarner Losh 83*f439973dSWarner Losh // 84*f439973dSWarner Losh // Bit masks for opcode encodings 85*f439973dSWarner Losh // 86*f439973dSWarner Losh #define OPCODE_M_OPCODE 0x3F // bits of interest for first level decode 87*f439973dSWarner Losh #define OPCODE_M_IMMDATA 0x80 88*f439973dSWarner Losh #define OPCODE_M_IMMDATA64 0x40 89*f439973dSWarner Losh #define OPCODE_M_64BIT 0x40 // for CMP 90*f439973dSWarner Losh #define OPCODE_M_RELADDR 0x10 // for CALL instruction 91*f439973dSWarner Losh #define OPCODE_M_CMPI32_DATA 0x80 // for CMPI 92*f439973dSWarner Losh #define OPCODE_M_CMPI64 0x40 // for CMPI 32 or 64 bit comparison 93*f439973dSWarner Losh #define OPERAND_M_MOVIN_N 0x80 94*f439973dSWarner Losh #define OPERAND_M_CMPI_INDEX 0x10 95*f439973dSWarner Losh 96*f439973dSWarner Losh // 97*f439973dSWarner Losh // Masks for instructions that encode presence of indexes for operand1 and/or 98*f439973dSWarner Losh // operand2. 99*f439973dSWarner Losh // 100*f439973dSWarner Losh #define OPCODE_M_IMMED_OP1 0x80 101*f439973dSWarner Losh #define OPCODE_M_IMMED_OP2 0x40 102*f439973dSWarner Losh 103*f439973dSWarner Losh // 104*f439973dSWarner Losh // Bit masks for operand encodings 105*f439973dSWarner Losh // 106*f439973dSWarner Losh #define OPERAND_M_INDIRECT1 0x08 107*f439973dSWarner Losh #define OPERAND_M_INDIRECT2 0x80 108*f439973dSWarner Losh #define OPERAND_M_OP1 0x07 109*f439973dSWarner Losh #define OPERAND_M_OP2 0x70 110*f439973dSWarner Losh 111*f439973dSWarner Losh // 112*f439973dSWarner Losh // Masks for data manipulation instructions 113*f439973dSWarner Losh // 114*f439973dSWarner Losh #define DATAMANIP_M_64 0x40 // 64-bit width operation 115*f439973dSWarner Losh #define DATAMANIP_M_IMMDATA 0x80 116*f439973dSWarner Losh 117*f439973dSWarner Losh // 118*f439973dSWarner Losh // For MOV instructions, need a mask for the opcode when immediate 119*f439973dSWarner Losh // data applies to R2. 120*f439973dSWarner Losh // 121*f439973dSWarner Losh #define OPCODE_M_IMMED_OP2 0x40 122*f439973dSWarner Losh 123*f439973dSWarner Losh // 124*f439973dSWarner Losh // The MOVI/MOVIn instructions use bit 6 of operands byte to indicate 125*f439973dSWarner Losh // if an index is present. Then bits 4 and 5 are used to indicate the width 126*f439973dSWarner Losh // of the move. 127*f439973dSWarner Losh // 128*f439973dSWarner Losh #define MOVI_M_IMMDATA 0x40 129*f439973dSWarner Losh #define MOVI_M_DATAWIDTH 0xC0 130*f439973dSWarner Losh #define MOVI_DATAWIDTH16 0x40 131*f439973dSWarner Losh #define MOVI_DATAWIDTH32 0x80 132*f439973dSWarner Losh #define MOVI_DATAWIDTH64 0xC0 133*f439973dSWarner Losh #define MOVI_M_MOVEWIDTH 0x30 134*f439973dSWarner Losh #define MOVI_MOVEWIDTH8 0x00 135*f439973dSWarner Losh #define MOVI_MOVEWIDTH16 0x10 136*f439973dSWarner Losh #define MOVI_MOVEWIDTH32 0x20 137*f439973dSWarner Losh #define MOVI_MOVEWIDTH64 0x30 138*f439973dSWarner Losh 139*f439973dSWarner Losh // 140*f439973dSWarner Losh // Masks for CALL instruction encodings 141*f439973dSWarner Losh // 142*f439973dSWarner Losh #define OPERAND_M_RELATIVE_ADDR 0x10 143*f439973dSWarner Losh #define OPERAND_M_NATIVE_CALL 0x20 144*f439973dSWarner Losh 145*f439973dSWarner Losh // 146*f439973dSWarner Losh // Masks for decoding push/pop instructions 147*f439973dSWarner Losh // 148*f439973dSWarner Losh #define PUSHPOP_M_IMMDATA 0x80 // opcode bit indicating immediate data 149*f439973dSWarner Losh #define PUSHPOP_M_64 0x40 // opcode bit indicating 64-bit operation 150*f439973dSWarner Losh // 151*f439973dSWarner Losh // Mask for operand of JMP instruction 152*f439973dSWarner Losh // 153*f439973dSWarner Losh #define JMP_M_RELATIVE 0x10 154*f439973dSWarner Losh #define JMP_M_CONDITIONAL 0x80 155*f439973dSWarner Losh #define JMP_M_CS 0x40 156*f439973dSWarner Losh 157*f439973dSWarner Losh // 158*f439973dSWarner Losh // Macros to determine if a given operand is indirect 159*f439973dSWarner Losh // 160*f439973dSWarner Losh #define OPERAND1_INDIRECT(op) ((op) & OPERAND_M_INDIRECT1) 161*f439973dSWarner Losh #define OPERAND2_INDIRECT(op) ((op) & OPERAND_M_INDIRECT2) 162*f439973dSWarner Losh 163*f439973dSWarner Losh // 164*f439973dSWarner Losh // Macros to extract the operands from second byte of instructions 165*f439973dSWarner Losh // 166*f439973dSWarner Losh #define OPERAND1_REGNUM(op) ((op) & OPERAND_M_OP1) 167*f439973dSWarner Losh #define OPERAND2_REGNUM(op) (((op) & OPERAND_M_OP2) >> 4) 168*f439973dSWarner Losh 169*f439973dSWarner Losh #define OPERAND1_CHAR(op) ('0' + OPERAND1_REGNUM (op)) 170*f439973dSWarner Losh #define OPERAND2_CHAR(op) ('0' + OPERAND2_REGNUM (op)) 171*f439973dSWarner Losh 172*f439973dSWarner Losh // 173*f439973dSWarner Losh // Condition masks usually for byte 1 encodings of code 174*f439973dSWarner Losh // 175*f439973dSWarner Losh #define CONDITION_M_CONDITIONAL 0x80 176*f439973dSWarner Losh #define CONDITION_M_CS 0x40 177*f439973dSWarner Losh 178*f439973dSWarner Losh /// 179*f439973dSWarner Losh /// Protocol Guid Name defined in spec. 180*f439973dSWarner Losh /// 181*f439973dSWarner Losh #define EFI_EBC_PROTOCOL_GUID EFI_EBC_INTERPRETER_PROTOCOL_GUID 182*f439973dSWarner Losh 183*f439973dSWarner Losh /// 184*f439973dSWarner Losh /// Define for forward reference. 185*f439973dSWarner Losh /// 186*f439973dSWarner Losh typedef struct _EFI_EBC_PROTOCOL EFI_EBC_PROTOCOL; 187*f439973dSWarner Losh 188*f439973dSWarner Losh /** 189*f439973dSWarner Losh Creates a thunk for an EBC entry point, returning the address of the thunk. 190*f439973dSWarner Losh 191*f439973dSWarner Losh A PE32+ EBC image, like any other PE32+ image, contains an optional header that specifies the 192*f439973dSWarner Losh entry point for image execution. However, for EBC images, this is the entry point of EBC 193*f439973dSWarner Losh instructions, so is not directly executable by the native processor. Therefore, when an EBC image is 194*f439973dSWarner Losh loaded, the loader must call this service to get a pointer to native code (thunk) that can be executed, 195*f439973dSWarner Losh which will invoke the interpreter to begin execution at the original EBC entry point. 196*f439973dSWarner Losh 197*f439973dSWarner Losh @param This A pointer to the EFI_EBC_PROTOCOL instance. 198*f439973dSWarner Losh @param ImageHandle Handle of image for which the thunk is being created. 199*f439973dSWarner Losh @param EbcEntryPoint Address of the actual EBC entry point or protocol service the thunk should call. 200*f439973dSWarner Losh @param Thunk Returned pointer to a thunk created. 201*f439973dSWarner Losh 202*f439973dSWarner Losh @retval EFI_SUCCESS The function completed successfully. 203*f439973dSWarner Losh @retval EFI_INVALID_PARAMETER Image entry point is not 2-byte aligned. 204*f439973dSWarner Losh @retval EFI_OUT_OF_RESOURCES Memory could not be allocated for the thunk. 205*f439973dSWarner Losh **/ 206*f439973dSWarner Losh typedef 207*f439973dSWarner Losh EFI_STATUS 208*f439973dSWarner Losh (EFIAPI *EFI_EBC_CREATE_THUNK)( 209*f439973dSWarner Losh IN EFI_EBC_PROTOCOL *This, 210*f439973dSWarner Losh IN EFI_HANDLE ImageHandle, 211*f439973dSWarner Losh IN VOID *EbcEntryPoint, 212*f439973dSWarner Losh OUT VOID **Thunk 213*f439973dSWarner Losh ); 214*f439973dSWarner Losh 215*f439973dSWarner Losh /** 216*f439973dSWarner Losh Called prior to unloading an EBC image from memory. 217*f439973dSWarner Losh 218*f439973dSWarner Losh This function is called after an EBC image has exited, but before the image is actually unloaded. It 219*f439973dSWarner Losh is intended to provide the interpreter with the opportunity to perform any cleanup that may be 220*f439973dSWarner Losh necessary as a result of loading and executing the image. 221*f439973dSWarner Losh 222*f439973dSWarner Losh @param This A pointer to the EFI_EBC_PROTOCOL instance. 223*f439973dSWarner Losh @param ImageHandle Image handle of the EBC image that is being unloaded from memory. 224*f439973dSWarner Losh 225*f439973dSWarner Losh @retval EFI_SUCCESS The function completed successfully. 226*f439973dSWarner Losh @retval EFI_INVALID_PARAMETER Image handle is not recognized as belonging 227*f439973dSWarner Losh to an EBC image that has been executed. 228*f439973dSWarner Losh **/ 229*f439973dSWarner Losh typedef 230*f439973dSWarner Losh EFI_STATUS 231*f439973dSWarner Losh (EFIAPI *EFI_EBC_UNLOAD_IMAGE)( 232*f439973dSWarner Losh IN EFI_EBC_PROTOCOL *This, 233*f439973dSWarner Losh IN EFI_HANDLE ImageHandle 234*f439973dSWarner Losh ); 235*f439973dSWarner Losh 236*f439973dSWarner Losh /** 237*f439973dSWarner Losh This is the prototype for the Flush callback routine. A pointer to a routine 238*f439973dSWarner Losh of this type is passed to the EBC EFI_EBC_REGISTER_ICACHE_FLUSH protocol service. 239*f439973dSWarner Losh 240*f439973dSWarner Losh @param Start The beginning physical address to flush from the processor's instruction cache. 241*f439973dSWarner Losh @param Length The number of bytes to flush from the processor's instruction cache. 242*f439973dSWarner Losh 243*f439973dSWarner Losh @retval EFI_SUCCESS The function completed successfully. 244*f439973dSWarner Losh 245*f439973dSWarner Losh **/ 246*f439973dSWarner Losh typedef 247*f439973dSWarner Losh EFI_STATUS 248*f439973dSWarner Losh (EFIAPI *EBC_ICACHE_FLUSH)( 249*f439973dSWarner Losh IN EFI_PHYSICAL_ADDRESS Start, 250*f439973dSWarner Losh IN UINT64 Length 251*f439973dSWarner Losh ); 252*f439973dSWarner Losh 253*f439973dSWarner Losh /** 254*f439973dSWarner Losh Registers a callback function that the EBC interpreter calls to flush 255*f439973dSWarner Losh the processor instruction cache following creation of thunks. 256*f439973dSWarner Losh 257*f439973dSWarner Losh @param This A pointer to the EFI_EBC_PROTOCOL instance. 258*f439973dSWarner Losh @param Flush Pointer to a function of type EBC_ICACH_FLUSH. 259*f439973dSWarner Losh 260*f439973dSWarner Losh @retval EFI_SUCCESS The function completed successfully. 261*f439973dSWarner Losh 262*f439973dSWarner Losh **/ 263*f439973dSWarner Losh typedef 264*f439973dSWarner Losh EFI_STATUS 265*f439973dSWarner Losh (EFIAPI *EFI_EBC_REGISTER_ICACHE_FLUSH)( 266*f439973dSWarner Losh IN EFI_EBC_PROTOCOL *This, 267*f439973dSWarner Losh IN EBC_ICACHE_FLUSH Flush 268*f439973dSWarner Losh ); 269*f439973dSWarner Losh 270*f439973dSWarner Losh /** 271*f439973dSWarner Losh Called to get the version of the interpreter. 272*f439973dSWarner Losh 273*f439973dSWarner Losh This function is called to get the version of the loaded EBC interpreter. The value and format of the 274*f439973dSWarner Losh returned version is identical to that returned by the EBC BREAK 1 instruction. 275*f439973dSWarner Losh 276*f439973dSWarner Losh @param This A pointer to the EFI_EBC_PROTOCOL instance. 277*f439973dSWarner Losh @param Version Pointer to where to store the returned version of the interpreter. 278*f439973dSWarner Losh 279*f439973dSWarner Losh @retval EFI_SUCCESS The function completed successfully. 280*f439973dSWarner Losh @retval EFI_INVALID_PARAMETER Version pointer is NULL. 281*f439973dSWarner Losh 282*f439973dSWarner Losh **/ 283*f439973dSWarner Losh typedef 284*f439973dSWarner Losh EFI_STATUS 285*f439973dSWarner Losh (EFIAPI *EFI_EBC_GET_VERSION)( 286*f439973dSWarner Losh IN EFI_EBC_PROTOCOL *This, 287*f439973dSWarner Losh IN OUT UINT64 *Version 288*f439973dSWarner Losh ); 289*f439973dSWarner Losh 290*f439973dSWarner Losh /// 291*f439973dSWarner Losh /// The EFI EBC protocol provides services to load and execute EBC images, which will typically be 292*f439973dSWarner Losh /// loaded into option ROMs. The image loader will load the EBC image, perform standard relocations, 293*f439973dSWarner Losh /// and invoke the CreateThunk() service to create a thunk for the EBC image's entry point. The 294*f439973dSWarner Losh /// image can then be run using the standard EFI start image services. 295*f439973dSWarner Losh /// 296*f439973dSWarner Losh struct _EFI_EBC_PROTOCOL { 297*f439973dSWarner Losh EFI_EBC_CREATE_THUNK CreateThunk; 298*f439973dSWarner Losh EFI_EBC_UNLOAD_IMAGE UnloadImage; 299*f439973dSWarner Losh EFI_EBC_REGISTER_ICACHE_FLUSH RegisterICacheFlush; 300*f439973dSWarner Losh EFI_EBC_GET_VERSION GetVersion; 301*f439973dSWarner Losh }; 302*f439973dSWarner Losh 303*f439973dSWarner Losh // 304*f439973dSWarner Losh // Extern the global EBC protocol GUID 305*f439973dSWarner Losh // 306*f439973dSWarner Losh extern EFI_GUID gEfiEbcProtocolGuid; 307*f439973dSWarner Losh 308*f439973dSWarner Losh #endif 309