Searched refs:tb_offset_ptr (Results 1 – 1 of 1) sorted by relevance
801 uint64_t *tb_offset_ptr; in copy_tb_offset() local804 tb_offset_ptr = a; in copy_tb_offset()808 buf[0] = cpu_to_be64(*tb_offset_ptr); in copy_tb_offset()814 guest = container_of(tb_offset_ptr, in copy_tb_offset()