Lines Matching refs:print_symbol
204 static void print_symbol(guest_word_t addr, type_of_addr type) in print_symbol() function
356 print_symbol(reg_is_addr_mask[i] & ((uint32_t *) regs)[i], in print_special()
363 print_symbol(reg_is_addr_mask[i] & ((uint64_t *) regs)[i], in print_special()
375 print_symbol(regs->eip, KERNEL_TEXT_ADDR); in print_ctx_32()
404 print_symbol((uint32_t)regs->eip, KERNEL_TEXT_ADDR); in print_ctx_32on64()
440 print_symbol(regs->rip, KERNEL_TEXT_ADDR); in print_ctx_64()
470 print_symbol(ctx->fs_base, KERNEL_DATA_ADDR); in print_ctx_64()
476 print_symbol(ctx->gs_base_kernel, KERNEL_DATA_ADDR); in print_ctx_64()
478 print_symbol(ctx->gs_base_user, KERNEL_DATA_ADDR); in print_ctx_64()
557 print_symbol(regs->pc32, KERNEL_TEXT_ADDR); in print_ctx_32()
611 print_symbol(regs->pc64, KERNEL_TEXT_ADDR); in print_ctx_64()
905 print_symbol(instr_pointer(ctx), KERNEL_TEXT_ADDR); in print_stack()
948 print_symbol(word, KERNEL_TEXT_ADDR); in print_stack()
966 print_symbol(word, KERNEL_TEXT_ADDR); in print_stack()