Searched refs:guest_word_t (Results 1 – 1 of 1) sorted by relevance
89 guest_word_t mem_addr;90 guest_word_t stk_addr;99 guest_word_t address;105 guest_word_t kernel_text;502 guest_word_t r; in instr_pointer()523 guest_word_t r; in stack_pointer()714 static guest_word_t read_stack_word(guest_word_t *src, int width) in read_stack_word()771 guest_word_t mem_addr, guest_word_t mem_limit) in print_lines()774 guest_word_t word; in print_lines()874 guest_word_t word; in print_stack()[all …]
Completed in 4 milliseconds