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