Lines Matching defs:DBG
51 #define DBG(x...) kprintf("PAL_DBG: " x)
53 #define DBG(x...)
149 DBG("pal_efi_call_in_64bit_mode(0x%016llx, %p, %p, %lu, %p)\n",
197 DBG("pal_efi_call_in_32bit_mode(0x%08x, %p, %p, %lu, %p)\n",
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);
221 DBG("pal_efi_call_in_32bit_mode() stack:\n");
226 DBG(" %p: 0x%08x\n", p, *p);
296 DBG("pal_efi_call_in_32bit_mode() efi_status: 0x%x\n", *efi_status);