Lines Matching defs:efi_reg
138 struct pal_efi_registers *efi_reg,
144 struct pal_efi_registers *efi_reg,
150 func, efi_reg, stack_contents, stack_contents_size, efi_status);
156 if ((efi_reg == NULL)
175 efi_reg,
179 *efi_status = efi_reg->rax;
186 struct pal_efi_registers *efi_reg,
192 struct pal_efi_registers *efi_reg,
198 func, efi_reg, stack_contents, stack_contents_size, efi_status);
204 if ((efi_reg == NULL)
214 DBG("pal_efi_call_in_32bit_mode() efi_reg:\n");
215 DBG(" rcx: 0x%016llx\n", efi_reg->rcx);
216 DBG(" rdx: 0x%016llx\n", efi_reg->rdx);
217 DBG(" r8: 0x%016llx\n", efi_reg->r8);
218 DBG(" r9: 0x%016llx\n", efi_reg->r9);
219 DBG(" rax: 0x%016llx\n", efi_reg->rax);
266 efi_reg,
290 efi_reg,
295 *efi_status = (uint32_t)efi_reg->rax;