= ip6_output.c:404
      Variable: id = {0x023ab628}, name = "im6o", type = "ip6_moptions *", valid ranges = <block>, location = [0xffffffff80d816b7, 0xffffffff80d83032) -> DW_OP_breg6 RBP-352, decl = ip6_output.c:404
      Variable: id = {0x023ab638}, name = "ifpp", type = "ifnet **", valid ranges = <block>, location = [0xffffffff80d8167b, 0xffffffff80d838c4) -> DW_OP_breg6 RBP-304, decl = ip6_output.c:405
      Variable: id = {0x023ab648}, name = "inp", type = "inpcb *", valid ranges = <block>, location = DW_OP_fbreg +16, decl = ip6_output.c:405
      Variable: id = {0x023ab657}, name = "m", type = "mbuf *", valid ranges = <block>, location = DW_OP_fbreg -48, decl = ip6_output.c:409
      Variable: id = {0x023ab666}, name = "sin6", type = "sockaddr_in6", valid ranges = <block>, location = DW_OP_fbreg -380, decl = ip6_output.c:413
      Variable: id = {0x023ab676}, name = "src_sa", type = "sockaddr_in6", valid ranges = <block>, location = DW_OP_fbreg -336, decl = ip6_output.c:413
      Variable: id = {0x023ab686}, name = "dst_sa", type = "sockaddr_in6", valid ranges = <block>, location = DW_OP_fbreg -128, decl = ip6_output.c:413
      Variable: id = {0x023ab696}, name = "odst", type = "in6_addr", valid ranges = <block>, location = DW_OP_fbreg -432, decl = ip6_output.c:414
      Variable: id = {0x023ab6a6}, name = "alwaysfrag", type = "int", valid ranges = <block>, location = DW_OP_fbreg -192, decl = ip6_output.c:421
      Variable: id = {0x023ab6b6}, name = "exthdrs", type = "ip6_exthdrs", valid ranges = <block>, location = DW_OP_fbreg -248, decl = ip6_output.c:423
      Variable: id = {0x023ab6c6}, name = "src0", type = "in6_addr", valid ranges = <block>, location = DW_OP_fbreg -416, decl = ip6_output.c:424
      Variable: id = {0x023ab6d6}, name = "dst0", type = "in6_addr", valid ranges = <block>, location = DW_OP_fbreg -400, decl = ip6_output.c:424
      Variable: id = {0x023ab6e6}, name = "zone", type = "u_int32_t", valid ranges = <block>, location = DW_OP_fbreg -188, decl = ip6_output.c:425
      Variable: id = {0x023ab726}, name = "error", type = "int", valid ranges = <block>, location = [0xffffffff80d8214f, 0xffffffff80d8251a) -> DW_OP_consts +0, DW_OP_stack_value, decl = ip6_output.c:417
      Variable: id = {0x023ab736}, name = "vlan_pcp", type = "int", valid ranges = <block>, location = [0xffffffff80d819c2, 0xffffffff80d82a18) -> DW_OP_breg6 RBP-96, decl = ip6_output.c:418
      Variable: id = {0x023ab746}, name = "ia", type = "in6_ifaddr *", valid ranges = <block>, location = [0xffffffff80d82187, 0xffffffff80d82a18) -> DW_OP_breg6 RBP-264, decl = ip6_output.c:419
      Variable: id = {0x023ab776}, name = "ip6", type = "ip6_hdr *", valid ranges = <block>, location = [0xffffffff80d81e29, 0xffffffff80d82665) -> DW_OP_breg6 RBP-168, decl = ip6_output.c:407
      Variable: id = {0x023ab7c6}, name = "nexthdrp", type = "u_char *", valid ranges = <block>, location = [0xffffffff80d81a4f, 0xffffffff80d82a18) -> DW_OP_breg6 RBP-136, decl = ip6_output.c:415
      Variable: id = {0x023ab7d6}, name = "ro_pmtu", type = "route_in6 *", valid ranges = <block>, location = [0xffffffff80d81ab4, 0xffffffff80d824c0) -> DW_OP_reg3 RBX, decl = ip6_output.c:411
      Variable: id = {0x023ab7e6}, name = "dst", type = "sockaddr_in6 *", valid ranges = <block>, location = [0xffffffff80d81b39, 0xffffffff80d82466) -> DW_OP_breg6 RBP-88, decl = ip6_output.c:413
      Variable: id = {0x023ab7f6}, name = "fibnum", type = "uint32_t", valid ranges = <block>, location = [0xffffffff80d81b26, 0xffffffff80d827e3) -> DW_OP_breg6 RBP-72, decl = ip6_output.c:429
      Variable: id = {0x023ab806}, name = "origifp", type = "ifnet *", valid ranges = <block>, location = [0xffffffff80d8218b, 0xffffffff80d824ae) -> DW_OP_reg12 R12, decl = ip6_output.c:408
      Variable: id = {0x023ab876}, name = "tlen", type = "int", valid ranges = <block>, location = <empty>, decl = ip6_output.c:416
      Variable: id = {0x023ab882}, name = "dontfrag", type = "int", valid ranges = <block>, location = <empty>, decl = ip6_output.c:421


     806         KASSERT((ifp != NULL), ("output interface must not be NULL"));
     807         KASSERT((origifp != NULL), ("output address interface must not be NULL"));
     808
     809         if ((flags & IPV6_FORWARDING) == 0) {
     810                 /* XXX: the FORWARDING flag can be set for mrouting. */
     811                 in6_ifstat_inc(ifp, ifs6_out_request);
     812         }
     813
     814         /* Setup data structures for scope ID checks. */

-- 
Bjoern A. Zeeb                                                     r15:7