Lines Matching refs:printf
74 printf("Dump of dispatcher at address %p:\n", disp);
75 printf(" disabled = %d (%s)\n", disp->disabled, disp->disabled ? "RESUME" : "UPCALL" );
76 printf(" haswork = %d\n", disp->haswork );
77 printf(" udisp = 0x%" PRIxLVADDR "\n", disp->udisp );
78 printf(" lmp_delivered = %d\n", disp->lmp_delivered );
79 printf(" lmp_seen = %d\n", disp->lmp_seen );
80 printf(" lpm_hint = 0x%" PRIxLVADDR "\n", disp->lmp_hint );
81 printf(" dispatcher_run = 0x%" PRIxLVADDR "\n", disp->dispatcher_run );
82 printf(" dispatcher_pagefault = 0x%" PRIxLVADDR "\n", disp->dispatcher_pagefault );
83 printf(" dispatcher_pagefault_disabled = 0x%" PRIxLVADDR "\n", disp->dispatcher_pagefault_disabled );
84 printf(" dispatcher_trap = 0x%" PRIxLVADDR "\n", disp->dispatcher_trap );
85 printf(" systime = 0x%" PRIuSYSTIME "\n", disp->systime );
86 printf(" wakeup = 0x%" PRIuSYSTIME "\n", disp->wakeup );
87 printf(" name = %.*s\n", DISP_NAME_LEN, disp->name );
88 printf(" curr_core_id = 0x%" PRIxCOREID "\n", disp->curr_core_id );