]> The Tcpdump Group git mirrors - libpcap/blobdiff - gencode.c
If parser debugging is enabled, ensure pcap_debug is exported.
[libpcap] / gencode.c
index 38db34b7db83f45da3c124cc78db795b0ac02905..481c4d9c358a5ade099ba458a907502b837c8139 100644 (file)
--- a/gencode.c
+++ b/gencode.c
@@ -24,9 +24,9 @@
 #include "config.h"
 #endif
 
-#ifdef WIN32
+#ifdef _WIN32
 #include <pcap-stdinc.h>
-#else /* WIN32 */
+#else /* _WIN32 */
 #if HAVE_INTTYPES_H
 #include <inttypes.h>
 #elif HAVE_STDINT_H
 #endif
 #include <sys/types.h>
 #include <sys/socket.h>
-#endif /* WIN32 */
+#endif /* _WIN32 */
 
-/*
- * XXX - why was this included even on UNIX?
- */
-#ifdef __MINGW32__
-#include "ip6_misc.h"
-#endif
-
-#ifndef WIN32
+#ifndef _WIN32
 
 #ifdef __NetBSD__
 #include <sys/param.h>
@@ -55,7 +48,7 @@
 #include <netinet/in.h>
 #include <arpa/inet.h>
 
-#endif /* WIN32 */
+#endif /* _WIN32 */
 
 #include <stdlib.h>
 #include <string.h>
 #include "pcap/sll.h"
 #include "pcap/ipnet.h"
 #include "arcnet.h"
+
+#include "grammar.h"
+#include "scanner.h"
+
 #if defined(linux) && defined(PF_PACKET) && defined(SO_ATTACH_FILTER)
 #include <linux/types.h>
 #include <linux/if_packet.h>
 #include <linux/filter.h>
 #endif
+
 #ifdef HAVE_NET_PFVAR_H
 #include <sys/socket.h>
 #include <net/if.h>
 #include <net/pfvar.h>
 #include <net/if_pflog.h>
 #endif
+
 #ifndef offsetof
 #define offsetof(s, e) ((size_t)&((s *)0)->e)
 #endif
+
 #ifdef INET6
-#ifndef WIN32
+#ifdef _WIN32
+#if defined(__MINGW32__) && defined(DEFINE_ADDITIONAL_IPV6_STUFF)
+/* IPv6 address */
+struct in6_addr
+  {
+    union
+      {
+       u_int8_t                u6_addr8[16];
+       u_int16_t       u6_addr16[8];
+       u_int32_t       u6_addr32[4];
+      } in6_u;
+#define s6_addr                        in6_u.u6_addr8
+#define s6_addr16              in6_u.u6_addr16
+#define s6_addr32              in6_u.u6_addr32
+#define s6_addr64              in6_u.u6_addr64
+  };
+
+typedef unsigned short sa_family_t;
+
+#define        __SOCKADDR_COMMON(sa_prefix) \
+  sa_family_t sa_prefix##family
+
+/* Ditto, for IPv6.  */
+struct sockaddr_in6
+  {
+    __SOCKADDR_COMMON (sin6_);
+    u_int16_t sin6_port;               /* Transport layer port # */
+    u_int32_t sin6_flowinfo;   /* IPv6 flow information */
+    struct in6_addr sin6_addr; /* IPv6 address */
+  };
+
+#ifndef EAI_ADDRFAMILY
+struct addrinfo {
+       int     ai_flags;       /* AI_PASSIVE, AI_CANONNAME */
+       int     ai_family;      /* PF_xxx */
+       int     ai_socktype;    /* SOCK_xxx */
+       int     ai_protocol;    /* 0 or IPPROTO_xxx for IPv4 and IPv6 */
+       size_t  ai_addrlen;     /* length of ai_addr */
+       char    *ai_canonname;  /* canonical name for hostname */
+       struct sockaddr *ai_addr;       /* binary address */
+       struct addrinfo *ai_next;       /* next structure in linked list */
+};
+#endif /* EAI_ADDRFAMILY */
+#endif /* defined(__MINGW32__) && defined(DEFINE_ADDITIONAL_IPV6_STUFF) */
+#else /* _WIN32 */
 #include <netdb.h>     /* for "struct addrinfo" */
-#endif /* WIN32 */
-#endif /*INET6*/
+#endif /* _WIN32 */
+#endif /* INET6 */
 #include <pcap/namedb.h>
 
+#include "nametoaddr.h"
+
 #define ETHERMTU       1500
 
+#ifndef ETHERTYPE_TEB
+#define ETHERTYPE_TEB 0x6558
+#endif
+
 #ifndef IPPROTO_HOPOPTS
 #define IPPROTO_HOPOPTS 0
 #endif
 #define IPPROTO_SCTP 132
 #endif
 
+#define GENEVE_PORT 6081
+
 #ifdef HAVE_OS_PROTO_H
 #include "os-proto.h"
 #endif
@@ -130,7 +182,7 @@ static jmp_buf top_ctx;
 static pcap_t *bpf_pcap;
 
 /* Hack for handling VLAN and MPLS stacks. */
-#ifdef WIN32
+#ifdef _WIN32
 static u_int   label_stack_depth = (u_int)-1, vlan_stack_depth = (u_int)-1;
 #else
 static u_int   label_stack_depth = -1U, vlan_stack_depth = -1U;
@@ -147,7 +199,7 @@ bpf_error(const char *fmt, ...)
 
        va_start(ap, fmt);
        if (bpf_pcap != NULL)
-               (void)vsnprintf(pcap_geterr(bpf_pcap), PCAP_ERRBUF_SIZE,
+               (void)pcap_vsnprintf(pcap_geterr(bpf_pcap), PCAP_ERRBUF_SIZE,
                    fmt, ap);
        va_end(ap);
        longjmp(top_ctx, 1);
@@ -162,18 +214,44 @@ static void free_reg(int);
 
 static struct block *root;
 
+/*
+ * Absolute offsets, which are offsets from the beginning of the raw
+ * packet data, are, in the general case, the sum of a variable value
+ * and a constant value; the variable value may be absent, in which
+ * case the offset is only the constant value, and the constant value
+ * may be zero, in which case the offset is only the variable value.
+ *
+ * bpf_abs_offset is a structure containing all that information:
+ *
+ *   is_variable is 1 if there's a variable part.
+ *
+ *   constant_part is the constant part of the value, possibly zero;
+ *
+ *   if is_variable is 1, reg is the register number for a register
+ *   containing the variable value if the register has been assigned,
+ *   and -1 otherwise.
+ */
+typedef struct {
+       int     is_variable;
+       u_int   constant_part;
+       int     reg;
+} bpf_abs_offset;
+
 /*
  * Value passed to gen_load_a() to indicate what the offset argument
- * is relative to.
+ * is relative to the beginning of.
  */
 enum e_offrel {
-       OR_PACKET,      /* relative to the beginning of the packet */
-       OR_LINK,        /* relative to the beginning of the link-layer header */
-       OR_MACPL,       /* relative to the end of the MAC-layer header */
-       OR_NET,         /* relative to the network-layer header */
-       OR_NET_NOSNAP,  /* relative to the network-layer header, with no SNAP header at the link layer */
-       OR_TRAN_IPV4,   /* relative to the transport-layer header, with IPv4 network layer */
-       OR_TRAN_IPV6    /* relative to the transport-layer header, with IPv6 network layer */
+       OR_PACKET,              /* full packet data */
+       OR_LINKHDR,             /* link-layer header */
+       OR_PREVLINKHDR,         /* previous link-layer header */
+       OR_LLC,                 /* 802.2 LLC header */
+       OR_PREVMPLSHDR,         /* previous MPLS header */
+       OR_LINKTYPE,            /* link-layer type */
+       OR_LINKPL,              /* link-layer payload */
+       OR_LINKPL_NOSNAP,       /* link-layer payload, with no SNAP header at the link layer */
+       OR_TRAN_IPV4,           /* transport-layer header, with IPv4 network layer */
+       OR_TRAN_IPV6            /* transport-layer header, with IPv6 network layer */
 };
 
 #ifdef INET6
@@ -198,14 +276,14 @@ static struct addrinfo *ai;
 #define NCHUNKS 16
 #define CHUNK0SIZE 1024
 struct chunk {
-       u_int n_left;
+       size_t n_left;
        void *m;
 };
 
 static struct chunk chunks[NCHUNKS];
 static int cur_chunk;
 
-static void *newchunk(u_int);
+static void *newchunk(size_t);
 static void freechunks(void);
 static inline struct block *new_block(int);
 static inline struct slist *new_stmt(int);
@@ -224,8 +302,7 @@ static struct block *gen_mcmp(enum e_offrel, u_int, u_int, bpf_int32,
 static struct block *gen_bcmp(enum e_offrel, u_int, u_int, const u_char *);
 static struct block *gen_ncmp(enum e_offrel, bpf_u_int32, bpf_u_int32,
     bpf_u_int32, bpf_u_int32, int, bpf_int32);
-static struct slist *gen_load_llrel(u_int, u_int);
-static struct slist *gen_load_macplrel(u_int, u_int);
+static struct slist *gen_load_absoffsetrel(bpf_abs_offset *, u_int, u_int);
 static struct slist *gen_load_a(enum e_offrel, u_int, u_int);
 static struct slist *gen_loadx_iphdrlen(void);
 static struct block *gen_uncond(int);
@@ -239,8 +316,7 @@ static struct slist *gen_load_avs_llprefixlen(void);
 static struct slist *gen_load_radiotap_llprefixlen(void);
 static struct slist *gen_load_ppi_llprefixlen(void);
 static void insert_compute_vloffsets(struct block *);
-static struct slist *gen_llprefixlen(void);
-static struct slist *gen_off_macpl(void);
+static struct slist *gen_abs_offset_varpart(bpf_abs_offset *);
 static int ethertype_to_ppptype(int);
 static struct block *gen_linktype(int);
 static struct block *gen_snap(bpf_u_int32, bpf_u_int32);
@@ -285,13 +361,13 @@ static struct slist *xfer_to_a(struct arth *);
 static struct block *gen_mac_multicast(int);
 static struct block *gen_len(int, int);
 static struct block *gen_check_802_11_data_frame(void);
+static struct block *gen_geneve_ll_check(void);
 
 static struct block *gen_ppi_dlt_check(void);
 static struct block *gen_msg_abbrev(int type);
 
 static void *
-newchunk(n)
-       u_int n;
+newchunk(size_t n)
 {
        struct chunk *cp;
        int k;
@@ -343,7 +419,7 @@ char *
 sdup(s)
        register const char *s;
 {
-       int n = strlen(s) + 1;
+       size_t n = strlen(s) + 1;
        char *cp = newchunk(n);
 
        strlcpy(cp, s, n);
@@ -401,6 +477,8 @@ pcap_compile(pcap_t *p, struct bpf_program *program,
 {
        extern int n_errors;
        const char * volatile xbuf = buf;
+       yyscan_t scanner = NULL;
+       YY_BUFFER_STATE in_buffer = NULL;
        u_int len;
        int  rc;
 
@@ -409,12 +487,11 @@ pcap_compile(pcap_t *p, struct bpf_program *program,
         * UN*X, if the platform supports pthreads?  If that requires
         * a separate -lpthread, we might not want to do that.
         */
-#ifdef WIN32
-       extern int wsockinit (void);
+#ifdef _WIN32
        static int done = 0;
 
        if (!done)
-               wsockinit();
+               pcap_wsockinit();
        done = 1;
        EnterCriticalSection(&g_PcapCompileCriticalSection);
 #endif
@@ -424,7 +501,7 @@ pcap_compile(pcap_t *p, struct bpf_program *program,
         * link-layer type, so we can't use it.
         */
        if (!p->activated) {
-               snprintf(p->errbuf, PCAP_ERRBUF_SIZE,
+               pcap_snprintf(p->errbuf, PCAP_ERRBUF_SIZE,
                    "not-yet-activated pcap_t passed to pcap_compile");
                rc = -1;
                goto quit;
@@ -442,8 +519,6 @@ pcap_compile(pcap_t *p, struct bpf_program *program,
                        ai = NULL;
                }
 #endif
-               lex_cleanup();
-               freechunks();
                rc = -1;
                goto quit;
        }
@@ -452,15 +527,17 @@ pcap_compile(pcap_t *p, struct bpf_program *program,
 
        snaplen = pcap_snapshot(p);
        if (snaplen == 0) {
-               snprintf(p->errbuf, PCAP_ERRBUF_SIZE,
+               pcap_snprintf(p->errbuf, PCAP_ERRBUF_SIZE,
                         "snaplen of 0 rejects all packets");
                rc = -1;
                goto quit;
        }
 
-       lex_init(xbuf ? xbuf : "");
+       if (pcap_lex_init(&scanner) != 0)
+               bpf_error("can't initialize scanner: %s", pcap_strerror(errno));
+       in_buffer = pcap__scan_string(xbuf ? xbuf : "", scanner);
        init_linktype(p);
-       (void)pcap_parse();
+       (void)pcap_parse(scanner);
 
        if (n_errors)
                syntax();
@@ -477,14 +554,23 @@ pcap_compile(pcap_t *p, struct bpf_program *program,
        program->bf_insns = icode_to_fcode(root, &len);
        program->bf_len = len;
 
-       lex_cleanup();
-       freechunks();
-
        rc = 0;  /* We're all okay */
 
 quit:
+       /*
+        * Clean up everything for the lexical analyzer.
+        */
+       if (in_buffer != NULL)
+               pcap__delete_buffer(in_buffer, scanner);
+       if (scanner != NULL)
+               pcap_lex_destroy(scanner);
+
+       /*
+        * Clean up our own allocated memory.
+        */
+       freechunks();
 
-#ifdef WIN32
+#ifdef _WIN32
        LeaveCriticalSection(&g_PcapCompileCriticalSection);
 #endif
 
@@ -597,6 +683,15 @@ finish_parse(p)
        /*
         * For DLT_PPI captures, generate a check of the per-packet
         * DLT value to make sure it's DLT_IEEE802_11.
+        *
+        * XXX - TurboCap cards use DLT_PPI for Ethernet.
+        * Can we just define some DLT_ETHERNET_WITH_PHDR pseudo-header
+        * with appropriate Ethernet information and use that rather
+        * than using something such as DLT_PPI where you don't know
+        * the link-layer header type until runtime, which, in the
+        * general case, would force us to generate both Ethernet *and*
+        * 802.11 code (*and* anything else for which PPI is used)
+        * and choose between them early in the BPF program?
         */
        ppi_dlt_check = gen_ppi_dlt_check();
        if (ppi_dlt_check != NULL)
@@ -765,74 +860,62 @@ gen_ncmp(offrel, offset, size, mask, jtype, reverse, v)
 }
 
 /*
- * Various code constructs need to know the layout of the data link
- * layer.  These variables give the necessary offsets from the beginning
+ * Various code constructs need to know the layout of the packet.
+ * These variables give the necessary offsets from the beginning
  * of the packet data.
  */
 
 /*
- * This is the offset of the beginning of the link-layer header from
- * the beginning of the raw packet data.
- *
- * It's usually 0, except for 802.11 with a fixed-length radio header.
- * (For 802.11 with a variable-length radio header, we have to generate
- * code to compute that offset; off_ll is 0 in that case.)
- */
-static u_int off_ll;
-
-/*
- * If there's a variable-length header preceding the link-layer header,
- * "reg_off_ll" is the register number for a register containing the
- * length of that header, and therefore the offset of the link-layer
- * header from the beginning of the raw packet data.  Otherwise,
- * "reg_off_ll" is -1.
+ * Absolute offset of the beginning of the link-layer header.
  */
-static int reg_off_ll;
+static bpf_abs_offset off_linkhdr;
 
 /*
- * This is the offset of the beginning of the MAC-layer header from
- * the beginning of the link-layer header.
- * It's usually 0, except for ATM LANE, where it's the offset, relative
- * to the beginning of the raw packet data, of the Ethernet header, and
- * for Ethernet with various additional information.
+ * If we're checking a link-layer header for a packet encapsulated in
+ * another protocol layer, this is the equivalent information for the
+ * previous layers' link-layer header from the beginning of the raw
+ * packet data.
  */
-static u_int off_mac;
+static bpf_abs_offset off_prevlinkhdr;
 
 /*
- * This is the offset of the beginning of the MAC-layer payload,
- * from the beginning of the raw packet data.
- *
- * I.e., it's the sum of the length of the link-layer header (without,
- * for example, any 802.2 LLC header, so it's the MAC-layer
- * portion of that header), plus any prefix preceding the
- * link-layer header.
+ * This is the equivalent information for the outermost layers' link-layer
+ * header.
  */
-static u_int off_macpl;
+static bpf_abs_offset off_outermostlinkhdr;
 
 /*
- * This is 1 if the offset of the beginning of the MAC-layer payload
- * from the beginning of the link-layer header is variable-length.
+ * "Push" the current value of the link-layer header type and link-layer
+ * header offset onto a "stack", and set a new value.  (It's not a
+ * full-blown stack; we keep only the top two items.)
  */
-static int off_macpl_is_variable;
+#define PUSH_LINKHDR(new_linktype, new_is_variable, new_constant_part, new_reg) \
+{ \
+       prevlinktype = new_linktype; \
+       off_prevlinkhdr = off_linkhdr; \
+       linktype = new_linktype; \
+       off_linkhdr.is_variable = new_is_variable; \
+       off_linkhdr.constant_part = new_constant_part; \
+       off_linkhdr.reg = new_reg; \
+       is_geneve = 0; \
+}
 
 /*
- * If the link layer has variable_length headers, "reg_off_macpl"
- * is the register number for a register containing the length of the
- * link-layer header plus the length of any variable-length header
- * preceding the link-layer header.  Otherwise, "reg_off_macpl"
- * is -1.
+ * Absolute offset of the beginning of the link-layer payload.
  */
-static int reg_off_macpl;
+static bpf_abs_offset off_linkpl;
 
 /*
  * "off_linktype" is the offset to information in the link-layer header
- * giving the packet type.  This offset is relative to the beginning
- * of the link-layer header (i.e., it doesn't include off_ll).
+ * giving the packet type. This is an absolute offset from the beginning
+ * of the packet.
  *
- * For Ethernet, it's the offset of the Ethernet type field.
+ * For Ethernet, it's the offset of the Ethernet type field; this
+ * means that it must have a value that skips VLAN tags.
  *
  * For link-layer types that always use 802.2 headers, it's the
- * offset of the LLC header.
+ * offset of the LLC header; this means that it must have a value
+ * that skips VLAN tags.
  *
  * For PPP, it's the offset of the PPP type field.
  *
@@ -842,16 +925,10 @@ static int reg_off_macpl;
  *
  * For Linux cooked sockets, it's the offset of the type field.
  *
- * It's set to -1 for no encapsulation, in which case, IP is assumed.
+ * off_linktype.constant_part is set to -1 for no encapsulation,
+ * in which case, IP is assumed.
  */
-static u_int off_linktype;
-
-/*
- * TRUE if "pppoes" appeared in the filter; it causes link-layer type
- * checks to check the PPP header, assumed to follow a LAN-style link-
- * layer header and a PPPoE session header.
- */
-static int is_pppoes = 0;
+static bpf_abs_offset off_linktype;
 
 /*
  * TRUE if the link layer includes an ATM pseudo-header.
@@ -859,10 +936,11 @@ static int is_pppoes = 0;
 static int is_atm = 0;
 
 /*
- * TRUE if "lane" appeared in the filter; it causes us to generate
- * code that assumes LANE rather than LLC-encapsulated traffic in SunATM.
+ * TRUE if "geneve" appeared in the filter; it causes us to generate
+ * code that checks for a Geneve header and assume that later filters
+ * apply to the encapsulated payload.
  */
-static int is_lane = 0;
+static int is_geneve = 0;
 
 /*
  * These are offsets for the ATM pseudo-header.
@@ -893,8 +971,8 @@ static u_int off_payload;
 
 /*
  * These are offsets to the beginning of the network-layer header.
- * They are relative to the beginning of the MAC-layer payload (i.e.,
- * they don't include off_ll or off_macpl).
+ * They are relative to the beginning of the link-layer payload (i.e.,
+ * they don't include off_linkhdr.constant_part or off_linkpl.constant_part).
  *
  * If the link layer never uses 802.2 LLC:
  *
@@ -919,29 +997,57 @@ static u_int off_nl;
 static u_int off_nl_nosnap;
 
 static int linktype;
+static int prevlinktype;
+static int outermostlinktype;
 
 static void
 init_linktype(p)
        pcap_t *p;
 {
-       linktype = pcap_datalink(p);
        pcap_fddipad = p->fddipad;
 
+       /*
+        * We start out with only one link-layer header.
+        */
+       outermostlinktype = pcap_datalink(p);
+       off_outermostlinkhdr.constant_part = 0;
+       off_outermostlinkhdr.is_variable = 0;
+       off_outermostlinkhdr.reg = -1;
+
+       prevlinktype = outermostlinktype;
+       off_prevlinkhdr.constant_part = 0;
+       off_prevlinkhdr.is_variable = 0;
+       off_prevlinkhdr.reg = -1;
+
+       linktype = outermostlinktype;
+       off_linkhdr.constant_part = 0;
+       off_linkhdr.is_variable = 0;
+       off_linkhdr.reg = -1;
+
+       /*
+        * XXX
+        */
+       off_linkpl.constant_part = 0;
+       off_linkpl.is_variable = 0;
+       off_linkpl.reg = -1;
+
+       off_linktype.constant_part = 0;
+       off_linktype.is_variable = 0;
+       off_linktype.reg = -1;
+
        /*
         * Assume it's not raw ATM with a pseudo-header, for now.
         */
-       off_mac = 0;
        is_atm = 0;
-       is_lane = 0;
        off_vpi = -1;
        off_vci = -1;
        off_proto = -1;
        off_payload = -1;
 
        /*
-        * And that we're not doing PPPoE.
+        * And not Geneve.
         */
-       is_pppoes = 0;
+       is_geneve = 0;
 
        /*
         * And assume we're not doing SS7.
@@ -953,104 +1059,94 @@ init_linktype(p)
        off_dpc = -1;
        off_sls = -1;
 
-       /*
-        * Also assume it's not 802.11.
-        */
-       off_ll = 0;
-       off_macpl = 0;
-       off_macpl_is_variable = 0;
-
         label_stack_depth = 0;
         vlan_stack_depth = 0;
 
-       reg_off_ll = -1;
-       reg_off_macpl = -1;
-
        switch (linktype) {
 
        case DLT_ARCNET:
-               off_linktype = 2;
-               off_macpl = 6;
+               off_linktype.constant_part = 2;
+               off_linkpl.constant_part = 6;
                off_nl = 0;             /* XXX in reality, variable! */
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_ARCNET_LINUX:
-               off_linktype = 4;
-               off_macpl = 8;
+               off_linktype.constant_part = 4;
+               off_linkpl.constant_part = 8;
                off_nl = 0;             /* XXX in reality, variable! */
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_EN10MB:
-               off_linktype = 12;
-               off_macpl = 14;         /* Ethernet header length */
+               off_linktype.constant_part = 12;
+               off_linkpl.constant_part = 14;  /* Ethernet header length */
                off_nl = 0;             /* Ethernet II */
                off_nl_nosnap = 3;      /* 802.3+802.2 */
-               return;
+               break;
 
        case DLT_SLIP:
                /*
                 * SLIP doesn't have a link level type.  The 16 byte
                 * header is hacked into our SLIP driver.
                 */
-               off_linktype = -1;
-               off_macpl = 16;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = 16;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_SLIP_BSDOS:
                /* XXX this may be the same as the DLT_PPP_BSDOS case */
-               off_linktype = -1;
+               off_linktype.constant_part = -1;
                /* XXX end */
-               off_macpl = 24;
+               off_linkpl.constant_part = 24;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_NULL:
        case DLT_LOOP:
-               off_linktype = 0;
-               off_macpl = 4;
+               off_linktype.constant_part = 0;
+               off_linkpl.constant_part = 4;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_ENC:
-               off_linktype = 0;
-               off_macpl = 12;
+               off_linktype.constant_part = 0;
+               off_linkpl.constant_part = 12;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_PPP:
        case DLT_PPP_PPPD:
        case DLT_C_HDLC:                /* BSD/OS Cisco HDLC */
        case DLT_PPP_SERIAL:            /* NetBSD sync/async serial PPP */
-               off_linktype = 2;
-               off_macpl = 4;
+               off_linktype.constant_part = 2; /* skip HDLC-like framing */
+               off_linkpl.constant_part = 4;   /* skip HDLC-like framing and protocol field */
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_PPP_ETHER:
                /*
                 * This does no include the Ethernet header, and
                 * only covers session state.
                 */
-               off_linktype = 6;
-               off_macpl = 8;
+               off_linktype.constant_part = 6;
+               off_linkpl.constant_part = 8;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_PPP_BSDOS:
-               off_linktype = 5;
-               off_macpl = 24;
+               off_linktype.constant_part = 5;
+               off_linkpl.constant_part = 24;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_FDDI:
                /*
@@ -1061,13 +1157,13 @@ init_linktype(p)
                 * is being used and pick out the encapsulated Ethernet type.
                 * XXX - should we generate code to check for SNAP?
                 */
-               off_linktype = 13;
-               off_linktype += pcap_fddipad;
-               off_macpl = 13;         /* FDDI MAC header length */
-               off_macpl += pcap_fddipad;
+               off_linktype.constant_part = 13;
+               off_linktype.constant_part += pcap_fddipad;
+               off_linkpl.constant_part = 13;  /* FDDI MAC header length */
+               off_linkpl.constant_part += pcap_fddipad;
                off_nl = 8;             /* 802.2+SNAP */
                off_nl_nosnap = 3;      /* 802.2 */
-               return;
+               break;
 
        case DLT_IEEE802:
                /*
@@ -1093,19 +1189,24 @@ init_linktype(p)
                 * the 16-bit value at an offset of 14 (shifted right
                 * 8 - figure out which byte that is).
                 */
-               off_linktype = 14;
-               off_macpl = 14;         /* Token Ring MAC header length */
+               off_linktype.constant_part = 14;
+               off_linkpl.constant_part = 14;  /* Token Ring MAC header length */
                off_nl = 8;             /* 802.2+SNAP */
                off_nl_nosnap = 3;      /* 802.2 */
-               return;
+               break;
 
-       case DLT_IEEE802_11:
        case DLT_PRISM_HEADER:
        case DLT_IEEE802_11_RADIO_AVS:
        case DLT_IEEE802_11_RADIO:
+               off_linkhdr.is_variable = 1;
+               /* Fall through, 802.11 doesn't have a variable link
+                * prefix but is otherwise the same. */
+
+       case DLT_IEEE802_11:
                /*
                 * 802.11 doesn't really have a link-level type field.
-                * We set "off_linktype" to the offset of the LLC header.
+                * We set "off_linktype.constant_part" to the offset of
+                * the LLC header.
                 *
                 * To check for Ethernet types, we assume that SSAP = SNAP
                 * is being used and pick out the encapsulated Ethernet type.
@@ -1120,12 +1221,12 @@ init_linktype(p)
                 * header or an AVS header, so, in practice, it's
                 * variable-length.
                 */
-               off_linktype = 24;
-               off_macpl = 0;          /* link-layer header is variable-length */
-               off_macpl_is_variable = 1;
+               off_linktype.constant_part = 24;
+               off_linkpl.constant_part = 0;   /* link-layer header is variable-length */
+               off_linkpl.is_variable = 1;
                off_nl = 8;             /* 802.2+SNAP */
                off_nl_nosnap = 3;      /* 802.2 */
-               return;
+               break;
 
        case DLT_PPI:
                /*
@@ -1137,12 +1238,13 @@ init_linktype(p)
                 * the encapsulated DLT should be DLT_IEEE802_11) we
                 * generate code to check for this too.
                 */
-               off_linktype = 24;
-               off_macpl = 0;          /* link-layer header is variable-length */
-               off_macpl_is_variable = 1;
+               off_linktype.constant_part = 24;
+               off_linkpl.constant_part = 0;   /* link-layer header is variable-length */
+               off_linkpl.is_variable = 1;
+               off_linkhdr.is_variable = 1;
                off_nl = 8;             /* 802.2+SNAP */
                off_nl_nosnap = 3;      /* 802.2 */
-               return;
+               break;
 
        case DLT_ATM_RFC1483:
        case DLT_ATM_CLIP:      /* Linux ATM defines this */
@@ -1157,11 +1259,11 @@ init_linktype(p)
                 * or "pppoa and tcp port 80" and have it check for
                 * PPPo{A,E} and a PPP protocol of IP and....
                 */
-               off_linktype = 0;
-               off_macpl = 0;          /* packet begins with LLC header */
+               off_linktype.constant_part = 0;
+               off_linkpl.constant_part = 0;   /* packet begins with LLC header */
                off_nl = 8;             /* 802.2+SNAP */
                off_nl_nosnap = 3;      /* 802.2 */
-               return;
+               break;
 
        case DLT_SUNATM:
                /*
@@ -1172,29 +1274,28 @@ init_linktype(p)
                off_vpi = SUNATM_VPI_POS;
                off_vci = SUNATM_VCI_POS;
                off_proto = PROTO_POS;
-               off_mac = -1;   /* assume LLC-encapsulated, so no MAC-layer header */
                off_payload = SUNATM_PKT_BEGIN_POS;
-               off_linktype = off_payload;
-               off_macpl = off_payload;        /* if LLC-encapsulated */
+               off_linktype.constant_part = off_payload;
+               off_linkpl.constant_part = off_payload; /* if LLC-encapsulated */
                off_nl = 8;             /* 802.2+SNAP */
                off_nl_nosnap = 3;      /* 802.2 */
-               return;
+               break;
 
        case DLT_RAW:
        case DLT_IPV4:
        case DLT_IPV6:
-               off_linktype = -1;
-               off_macpl = 0;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = 0;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_LINUX_SLL:     /* fake header for Linux cooked socket */
-               off_linktype = 14;
-               off_macpl = 16;
+               off_linktype.constant_part = 14;
+               off_linkpl.constant_part = 16;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_LTALK:
                /*
@@ -1202,11 +1303,11 @@ init_linktype(p)
                 * but really it just indicates whether there is a "short" or
                 * "long" DDP packet following.
                 */
-               off_linktype = -1;
-               off_macpl = 0;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = 0;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_IP_OVER_FC:
                /*
@@ -1219,22 +1320,22 @@ init_linktype(p)
                 * XXX - should we generate code to check for SNAP? RFC
                 * 2625 says SNAP should be used.
                 */
-               off_linktype = 16;
-               off_macpl = 16;
+               off_linktype.constant_part = 16;
+               off_linkpl.constant_part = 16;
                off_nl = 8;             /* 802.2+SNAP */
                off_nl_nosnap = 3;      /* 802.2 */
-               return;
+               break;
 
        case DLT_FRELAY:
                /*
                 * XXX - we should set this to handle SNAP-encapsulated
                 * frames (NLPID of 0x80).
                 */
-               off_linktype = -1;
-               off_macpl = 0;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = 0;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
                 /*
                  * the only BPF-interesting FRF.16 frames are non-control frames;
@@ -1242,33 +1343,33 @@ init_linktype(p)
                  * so lets start with offset 4 for now and increments later on (FIXME);
                  */
        case DLT_MFR:
-               off_linktype = -1;
-               off_macpl = 0;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = 0;
                off_nl = 4;
                off_nl_nosnap = 0;      /* XXX - for now -> no 802.2 LLC */
-               return;
+               break;
 
        case DLT_APPLE_IP_OVER_IEEE1394:
-               off_linktype = 16;
-               off_macpl = 18;
+               off_linktype.constant_part = 16;
+               off_linkpl.constant_part = 18;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_SYMANTEC_FIREWALL:
-               off_linktype = 6;
-               off_macpl = 44;
+               off_linktype.constant_part = 6;
+               off_linkpl.constant_part = 44;
                off_nl = 0;             /* Ethernet II */
                off_nl_nosnap = 0;      /* XXX - what does it do with 802.3 packets? */
-               return;
+               break;
 
 #ifdef HAVE_NET_PFVAR_H
        case DLT_PFLOG:
-               off_linktype = 0;
-               off_macpl = PFLOG_HDRLEN;
+               off_linktype.constant_part = 0;
+               off_linkpl.constant_part = PFLOG_HDRLEN;
                off_nl = 0;
                off_nl_nosnap = 0;      /* no 802.2 LLC */
-               return;
+               break;
 #endif
 
         case DLT_JUNIPER_MFR:
@@ -1277,108 +1378,108 @@ init_linktype(p)
         case DLT_JUNIPER_PPP:
         case DLT_JUNIPER_CHDLC:
         case DLT_JUNIPER_FRELAY:
-                off_linktype = 4;
-               off_macpl = 4;
+                off_linktype.constant_part = 4;
+               off_linkpl.constant_part = 4;
                off_nl = 0;
                off_nl_nosnap = -1;     /* no 802.2 LLC */
-                return;
+                break;
 
        case DLT_JUNIPER_ATM1:
-               off_linktype = 4;       /* in reality variable between 4-8 */
-               off_macpl = 4;  /* in reality variable between 4-8 */
+               off_linktype.constant_part = 4;         /* in reality variable between 4-8 */
+               off_linkpl.constant_part = 4;   /* in reality variable between 4-8 */
                off_nl = 0;
                off_nl_nosnap = 10;
-               return;
+               break;
 
        case DLT_JUNIPER_ATM2:
-               off_linktype = 8;       /* in reality variable between 8-12 */
-               off_macpl = 8;  /* in reality variable between 8-12 */
+               off_linktype.constant_part = 8;         /* in reality variable between 8-12 */
+               off_linkpl.constant_part = 8;   /* in reality variable between 8-12 */
                off_nl = 0;
                off_nl_nosnap = 10;
-               return;
+               break;
 
                /* frames captured on a Juniper PPPoE service PIC
                 * contain raw ethernet frames */
        case DLT_JUNIPER_PPPOE:
         case DLT_JUNIPER_ETHER:
-               off_macpl = 14;
-               off_linktype = 16;
+               off_linkpl.constant_part = 14;
+               off_linktype.constant_part = 16;
                off_nl = 18;            /* Ethernet II */
                off_nl_nosnap = 21;     /* 802.3+802.2 */
-               return;
+               break;
 
        case DLT_JUNIPER_PPPOE_ATM:
-               off_linktype = 4;
-               off_macpl = 6;
+               off_linktype.constant_part = 4;
+               off_linkpl.constant_part = 6;
                off_nl = 0;
                off_nl_nosnap = -1;     /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_JUNIPER_GGSN:
-               off_linktype = 6;
-               off_macpl = 12;
+               off_linktype.constant_part = 6;
+               off_linkpl.constant_part = 12;
                off_nl = 0;
                off_nl_nosnap = -1;     /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_JUNIPER_ES:
-               off_linktype = 6;
-               off_macpl = -1;         /* not really a network layer but raw IP addresses */
+               off_linktype.constant_part = 6;
+               off_linkpl.constant_part = -1;  /* not really a network layer but raw IP addresses */
                off_nl = -1;            /* not really a network layer but raw IP addresses */
                off_nl_nosnap = -1;     /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_JUNIPER_MONITOR:
-               off_linktype = 12;
-               off_macpl = 12;
+               off_linktype.constant_part = 12;
+               off_linkpl.constant_part = 12;
                off_nl = 0;             /* raw IP/IP6 header */
                off_nl_nosnap = -1;     /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_BACNET_MS_TP:
-               off_linktype = -1;
-               off_macpl = -1;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_JUNIPER_SERVICES:
-               off_linktype = 12;
-               off_macpl = -1;         /* L3 proto location dep. on cookie type */
+               off_linktype.constant_part = 12;
+               off_linkpl.constant_part = -1;  /* L3 proto location dep. on cookie type */
                off_nl = -1;            /* L3 proto location dep. on cookie type */
                off_nl_nosnap = -1;     /* no 802.2 LLC */
-               return;
+               break;
 
        case DLT_JUNIPER_VP:
-               off_linktype = 18;
-               off_macpl = -1;
+               off_linktype.constant_part = 18;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_JUNIPER_ST:
-               off_linktype = 18;
-               off_macpl = -1;
+               off_linktype.constant_part = 18;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_JUNIPER_ISM:
-               off_linktype = 8;
-               off_macpl = -1;
+               off_linktype.constant_part = 8;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_JUNIPER_VS:
        case DLT_JUNIPER_SRX_E2E:
        case DLT_JUNIPER_FIBRECHANNEL:
        case DLT_JUNIPER_ATM_CEMIC:
-               off_linktype = 8;
-               off_macpl = -1;
+               off_linktype.constant_part = 8;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_MTP2:
                off_li = 2;
@@ -1387,11 +1488,11 @@ init_linktype(p)
                off_opc = 4;
                off_dpc = 4;
                off_sls = 7;
-               off_linktype = -1;
-               off_macpl = -1;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_MTP2_WITH_PHDR:
                off_li = 6;
@@ -1400,11 +1501,11 @@ init_linktype(p)
                off_opc = 8;
                off_dpc = 8;
                off_sls = 11;
-               off_linktype = -1;
-               off_macpl = -1;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_ERF:
                off_li = 22;
@@ -1413,52 +1514,51 @@ init_linktype(p)
                off_opc = 24;
                off_dpc = 24;
                off_sls = 27;
-               off_linktype = -1;
-               off_macpl = -1;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = -1;
                off_nl = -1;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_PFSYNC:
-               off_linktype = -1;
-               off_macpl = 4;
+               off_linktype.constant_part = -1;
+               off_linkpl.constant_part = 4;
                off_nl = 0;
                off_nl_nosnap = 0;
-               return;
+               break;
 
        case DLT_AX25_KISS:
                /*
                 * Currently, only raw "link[N:M]" filtering is supported.
                 */
-               off_linktype = -1;      /* variable, min 15, max 71 steps of 7 */
-               off_macpl = -1;
+               off_linktype.constant_part = -1;        /* variable, min 15, max 71 steps of 7 */
+               off_linkpl.constant_part = -1;
                off_nl = -1;            /* variable, min 16, max 71 steps of 7 */
                off_nl_nosnap = -1;     /* no 802.2 LLC */
-               off_mac = 1;            /* step over the kiss length byte */
-               return;
+               break;
 
        case DLT_IPNET:
-               off_linktype = 1;
-               off_macpl = 24;         /* ipnet header length */
+               off_linktype.constant_part = 1;
+               off_linkpl.constant_part = 24;  /* ipnet header length */
                off_nl = 0;
                off_nl_nosnap = -1;
-               return;
+               break;
 
        case DLT_NETANALYZER:
-               off_mac = 4;            /* MAC header is past 4-byte pseudo-header */
-               off_linktype = 16;      /* includes 4-byte pseudo-header */
-               off_macpl = 18;         /* pseudo-header+Ethernet header length */
+               off_linkhdr.constant_part = 4;  /* Ethernet header is past 4-byte pseudo-header */
+               off_linktype.constant_part = off_linkhdr.constant_part + 12;
+               off_linkpl.constant_part = off_linkhdr.constant_part + 14;      /* pseudo-header+Ethernet header length */
                off_nl = 0;             /* Ethernet II */
                off_nl_nosnap = 3;      /* 802.3+802.2 */
-               return;
+               break;
 
        case DLT_NETANALYZER_TRANSPARENT:
-               off_mac = 12;           /* MAC header is past 4-byte pseudo-header, preamble, and SFD */
-               off_linktype = 24;      /* includes 4-byte pseudo-header+preamble+SFD */
-               off_macpl = 26;         /* pseudo-header+preamble+SFD+Ethernet header length */
+               off_linkhdr.constant_part = 12; /* MAC header is past 4-byte pseudo-header, preamble, and SFD */
+               off_linktype.constant_part = off_linkhdr.constant_part + 12;
+               off_linkpl.constant_part = off_linkhdr.constant_part + 14;      /* pseudo-header+preamble+SFD+Ethernet header length */
                off_nl = 0;             /* Ethernet II */
                off_nl_nosnap = 3;      /* 802.3+802.2 */
-               return;
+               break;
 
        default:
                /*
@@ -1467,99 +1567,54 @@ init_linktype(p)
                 */
                if (linktype >= DLT_MATCHING_MIN &&
                    linktype <= DLT_MATCHING_MAX) {
-                       off_linktype = -1;
-                       off_macpl = -1;
+                       off_linktype.constant_part = -1;
+                       off_linkpl.constant_part = -1;
                        off_nl = -1;
                        off_nl_nosnap = -1;
-                       return;
+               } else {
+                       bpf_error("unknown data link type %d", linktype);
                }
-
+               break;
        }
-       bpf_error("unknown data link type %d", linktype);
-       /* NOTREACHED */
-}
 
-/*
- * Load a value relative to the beginning of the link-layer header.
- * The link-layer header doesn't necessarily begin at the beginning
- * of the packet data; there might be a variable-length prefix containing
- * radio information.
- */
-static struct slist *
-gen_load_llrel(offset, size)
-       u_int offset, size;
-{
-       struct slist *s, *s2;
-
-       s = gen_llprefixlen();
-
-       /*
-        * If "s" is non-null, it has code to arrange that the X register
-        * contains the length of the prefix preceding the link-layer
-        * header.
-        *
-        * Otherwise, the length of the prefix preceding the link-layer
-        * header is "off_ll".
-        */
-       if (s != NULL) {
-               /*
-                * There's a variable-length prefix preceding the
-                * link-layer header.  "s" points to a list of statements
-                * that put the length of that prefix into the X register.
-                * do an indirect load, to use the X register as an offset.
-                */
-               s2 = new_stmt(BPF_LD|BPF_IND|size);
-               s2->s.k = offset;
-               sappend(s, s2);
-       } else {
-               /*
-                * There is no variable-length header preceding the
-                * link-layer header; add in off_ll, which, if there's
-                * a fixed-length header preceding the link-layer header,
-                * is the length of that header.
-                */
-               s = new_stmt(BPF_LD|BPF_ABS|size);
-               s->s.k = offset + off_ll;
-       }
-       return s;
+       off_outermostlinkhdr = off_prevlinkhdr = off_linkhdr;
 }
 
 /*
- * Load a value relative to the beginning of the MAC-layer payload.
+ * Load a value relative to the specified absolute offset.
  */
 static struct slist *
-gen_load_macplrel(offset, size)
-       u_int offset, size;
+gen_load_absoffsetrel(bpf_abs_offset *abs_offset, u_int offset, u_int size)
 {
        struct slist *s, *s2;
 
-       s = gen_off_macpl();
+       s = gen_abs_offset_varpart(abs_offset);
 
        /*
-        * If s is non-null, the offset of the MAC-layer payload is
-        * variable, and s points to a list of instructions that
-        * arrange that the X register contains that offset.
+        * If "s" is non-null, it has code to arrange that the X register
+        * contains the variable part of the absolute offset, so we
+        * generate a load relative to that, with an offset of
+        * abs_offset->constant_part + offset.
         *
-        * Otherwise, the offset of the MAC-layer payload is constant,
-        * and is in off_macpl.
+        * Otherwise, we can do an absolute load with an offset of
+        * abs_offset->constant_part + offset.
         */
        if (s != NULL) {
                /*
-                * The offset of the MAC-layer payload is in the X
-                * register.  Do an indirect load, to use the X register
-                * as an offset.
+                * "s" points to a list of statements that puts the
+                * variable part of the absolute offset into the X register.
+                * Do an indirect load, to use the X register as an offset.
                 */
                s2 = new_stmt(BPF_LD|BPF_IND|size);
-               s2->s.k = offset;
+               s2->s.k = abs_offset->constant_part + offset;
                sappend(s, s2);
        } else {
                /*
-                * The offset of the MAC-layer payload is constant,
-                * and is in off_macpl; load the value at that offset
-                * plus the specified offset.
+                * There is no variable part of the absolute offset, so
+                * just do an absolute load.
                 */
                s = new_stmt(BPF_LD|BPF_ABS|size);
-               s->s.k = off_macpl + offset;
+               s->s.k = abs_offset->constant_part + offset;
        }
        return s;
 }
@@ -1581,20 +1636,32 @@ gen_load_a(offrel, offset, size)
                 s->s.k = offset;
                break;
 
-       case OR_LINK:
-               s = gen_load_llrel(offset, size);
+       case OR_LINKHDR:
+               s = gen_load_absoffsetrel(&off_linkhdr, offset, size);
                break;
 
-       case OR_MACPL:
-               s = gen_load_macplrel(offset, size);
+       case OR_PREVLINKHDR:
+               s = gen_load_absoffsetrel(&off_prevlinkhdr, offset, size);
                break;
 
-       case OR_NET:
-               s = gen_load_macplrel(off_nl + offset, size);
+       case OR_LLC:
+               s = gen_load_absoffsetrel(&off_linkpl, offset, size);
                break;
 
-       case OR_NET_NOSNAP:
-               s = gen_load_macplrel(off_nl_nosnap + offset, size);
+       case OR_PREVMPLSHDR:
+               s = gen_load_absoffsetrel(&off_linkpl, off_nl - 4 + offset, size);
+               break;
+
+       case OR_LINKPL:
+               s = gen_load_absoffsetrel(&off_linkpl, off_nl + offset, size);
+               break;
+
+       case OR_LINKPL_NOSNAP:
+               s = gen_load_absoffsetrel(&off_linkpl, off_nl_nosnap + offset, size);
+               break;
+
+       case OR_LINKTYPE:
+               s = gen_load_absoffsetrel(&off_linktype, offset, size);
                break;
 
        case OR_TRAN_IPV4:
@@ -1607,22 +1674,23 @@ gen_load_a(offrel, offset, size)
                s = gen_loadx_iphdrlen();
 
                /*
-                * Load the item at {offset of the MAC-layer payload} +
-                * {offset, relative to the start of the MAC-layer
+                * Load the item at {offset of the link-layer payload} +
+                * {offset, relative to the start of the link-layer
                 * paylod, of the IPv4 header} + {length of the IPv4 header} +
                 * {specified offset}.
                 *
-                * (If the offset of the MAC-layer payload is variable,
-                * it's included in the value in the X register, and
-                * off_macpl is 0.)
+                * If the offset of the link-layer payload is variable,
+                * the variable part of that offset is included in the
+                * value in the X register, and we include the constant
+                * part in the offset of the load.
                 */
                s2 = new_stmt(BPF_LD|BPF_IND|size);
-               s2->s.k = off_macpl + off_nl + offset;
+               s2->s.k = off_linkpl.constant_part + off_nl + offset;
                sappend(s, s2);
                break;
 
        case OR_TRAN_IPV6:
-               s = gen_load_macplrel(off_nl + 40 + offset, size);
+               s = gen_load_absoffsetrel(&off_linkpl, off_nl + 40 + offset, size);
                break;
 
        default:
@@ -1634,22 +1702,20 @@ gen_load_a(offrel, offset, size)
 
 /*
  * Generate code to load into the X register the sum of the length of
- * the IPv4 header and any variable-length header preceding the link-layer
- * header.
+ * the IPv4 header and the variable part of the offset of the link-layer
+ * payload.
  */
 static struct slist *
 gen_loadx_iphdrlen()
 {
        struct slist *s, *s2;
 
-       s = gen_off_macpl();
+       s = gen_abs_offset_varpart(&off_linkpl);
        if (s != NULL) {
                /*
-                * There's a variable-length prefix preceding the
-                * link-layer header, or the link-layer header is itself
-                * variable-length.  "s" points to a list of statements
-                * that put the offset of the MAC-layer payload into
-                * the X register.
+                * The offset of the link-layer payload has a variable
+                * part.  "s" points to a list of statements that put
+                * the variable part of that offset into the X register.
                 *
                 * The 4*([k]&0xf) addressing mode can't be used, as we
                 * don't have a constant offset, so we have to load the
@@ -1657,7 +1723,7 @@ gen_loadx_iphdrlen()
                 * the value from the X register.
                 */
                s2 = new_stmt(BPF_LD|BPF_IND|BPF_B);
-               s2->s.k = off_nl;
+               s2->s.k = off_linkpl.constant_part + off_nl;
                sappend(s, s2);
                s2 = new_stmt(BPF_ALU|BPF_AND|BPF_K);
                s2->s.k = 0xf;
@@ -1667,25 +1733,28 @@ gen_loadx_iphdrlen()
                sappend(s, s2);
 
                /*
-                * The A register now contains the length of the
-                * IP header.  We need to add to it the offset of
-                * the MAC-layer payload, which is still in the X
+                * The A register now contains the length of the IP header.
+                * We need to add to it the variable part of the offset of
+                * the link-layer payload, which is still in the X
                 * register, and move the result into the X register.
                 */
                sappend(s, new_stmt(BPF_ALU|BPF_ADD|BPF_X));
                sappend(s, new_stmt(BPF_MISC|BPF_TAX));
        } else {
                /*
-                * There is no variable-length header preceding the
-                * link-layer header, and the link-layer header is
-                * fixed-length; load the length of the IPv4 header,
-                * which is at an offset of off_nl from the beginning
-                * of the MAC-layer payload, and thus at an offset
-                * of off_mac_pl + off_nl from the beginning of the
-                * raw packet data.
+                * The offset of the link-layer payload is a constant,
+                * so no code was generated to load the (non-existent)
+                * variable part of that offset.
+                *
+                * This means we can use the 4*([k]&0xf) addressing
+                * mode.  Load the length of the IPv4 header, which
+                * is at an offset of off_nl from the beginning of
+                * the link-layer payload, and thus at an offset of
+                * off_linkpl.constant_part + off_nl from the beginning
+                * of the raw packet data, using that addressing mode.
                 */
                s = new_stmt(BPF_LDX|BPF_MSH|BPF_B);
-               s->s.k = off_macpl + off_nl;
+               s->s.k = off_linkpl.constant_part + off_nl;
        }
        return s;
 }
@@ -1757,9 +1826,9 @@ gen_ether_linktype(proto)
                 * DSAP, as we do for other types <= ETHERMTU
                 * (i.e., other SAP values)?
                 */
-               b0 = gen_cmp_gt(OR_LINK, off_linktype, BPF_H, ETHERMTU);
+               b0 = gen_cmp_gt(OR_LINKTYPE, 0, BPF_H, ETHERMTU);
                gen_not(b0);
-               b1 = gen_cmp(OR_MACPL, 0, BPF_H, (bpf_int32)
+               b1 = gen_cmp(OR_LLC, 0, BPF_H, (bpf_int32)
                             ((proto << 8) | proto));
                gen_and(b0, b1);
                return b1;
@@ -1797,8 +1866,8 @@ gen_ether_linktype(proto)
                 * This generates code to check both for the
                 * IPX LSAP (Ethernet_802.2) and for Ethernet_802.3.
                 */
-               b0 = gen_cmp(OR_MACPL, 0, BPF_B, (bpf_int32)LLCSAP_IPX);
-               b1 = gen_cmp(OR_MACPL, 0, BPF_H, (bpf_int32)0xFFFF);
+               b0 = gen_cmp(OR_LLC, 0, BPF_B, (bpf_int32)LLCSAP_IPX);
+               b1 = gen_cmp(OR_LLC, 0, BPF_H, (bpf_int32)0xFFFF);
                gen_or(b0, b1);
 
                /*
@@ -1812,7 +1881,7 @@ gen_ether_linktype(proto)
                 * Now we generate code to check for 802.3
                 * frames in general.
                 */
-               b0 = gen_cmp_gt(OR_LINK, off_linktype, BPF_H, ETHERMTU);
+               b0 = gen_cmp_gt(OR_LINKTYPE, 0, BPF_H, ETHERMTU);
                gen_not(b0);
 
                /*
@@ -1828,8 +1897,7 @@ gen_ether_linktype(proto)
                 * do that before checking for the other frame
                 * types.
                 */
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H,
-                   (bpf_int32)ETHERTYPE_IPX);
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)ETHERTYPE_IPX);
                gen_or(b0, b1);
                return b1;
 
@@ -1845,7 +1913,7 @@ gen_ether_linktype(proto)
                 * we check for an Ethernet type field less than
                 * 1500, which means it's an 802.3 length field.
                 */
-               b0 = gen_cmp_gt(OR_LINK, off_linktype, BPF_H, ETHERMTU);
+               b0 = gen_cmp_gt(OR_LINKTYPE, 0, BPF_H, ETHERMTU);
                gen_not(b0);
 
                /*
@@ -1870,7 +1938,7 @@ gen_ether_linktype(proto)
                 * phase 1?); we just check for the Ethernet
                 * protocol type.
                 */
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, (bpf_int32)proto);
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)proto);
 
                gen_or(b0, b1);
                return b1;
@@ -1885,10 +1953,9 @@ gen_ether_linktype(proto)
                         * a length field, <= ETHERMTU) and
                         * then check the DSAP.
                         */
-                       b0 = gen_cmp_gt(OR_LINK, off_linktype, BPF_H, ETHERMTU);
+                       b0 = gen_cmp_gt(OR_LINKTYPE, 0, BPF_H, ETHERMTU);
                        gen_not(b0);
-                       b1 = gen_cmp(OR_LINK, off_linktype + 2, BPF_B,
-                           (bpf_int32)proto);
+                       b1 = gen_cmp(OR_LINKTYPE, 2, BPF_B, (bpf_int32)proto);
                        gen_and(b0, b1);
                        return b1;
                } else {
@@ -1901,7 +1968,7 @@ gen_ether_linktype(proto)
                         * will fail and the frame won't match,
                         * which is what we want).
                         */
-                       return gen_cmp(OR_LINK, off_linktype, BPF_H,
+                       return gen_cmp(OR_LINKTYPE, 0, BPF_H,
                            (bpf_int32)proto);
                }
        }
@@ -1918,12 +1985,11 @@ gen_ipnet_linktype(proto)
        switch (proto) {
 
        case ETHERTYPE_IP:
-               return gen_cmp(OR_LINK, off_linktype, BPF_B,
-                   (bpf_int32)IPH_AF_INET);
+               return gen_cmp(OR_LINKTYPE, 0, BPF_B, (bpf_int32)IPH_AF_INET);
                /* NOTREACHED */
 
        case ETHERTYPE_IPV6:
-               return gen_cmp(OR_LINK, off_linktype, BPF_B,
+               return gen_cmp(OR_LINKTYPE, 0, BPF_B,
                    (bpf_int32)IPH_AF_INET6);
                /* NOTREACHED */
 
@@ -1965,8 +2031,8 @@ gen_linux_sll_linktype(proto)
                 * DSAP, as we do for other types <= ETHERMTU
                 * (i.e., other SAP values)?
                 */
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, LINUX_SLL_P_802_2);
-               b1 = gen_cmp(OR_MACPL, 0, BPF_H, (bpf_int32)
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, LINUX_SLL_P_802_2);
+               b1 = gen_cmp(OR_LLC, 0, BPF_H, (bpf_int32)
                             ((proto << 8) | proto));
                gen_and(b0, b1);
                return b1;
@@ -1997,17 +2063,17 @@ gen_linux_sll_linktype(proto)
                 * then put a check for LINUX_SLL_P_802_2 frames
                 * before it.
                 */
-               b0 = gen_cmp(OR_MACPL, 0, BPF_B, (bpf_int32)LLCSAP_IPX);
+               b0 = gen_cmp(OR_LLC, 0, BPF_B, (bpf_int32)LLCSAP_IPX);
                b1 = gen_snap(0x000000, ETHERTYPE_IPX);
                gen_or(b0, b1);
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, LINUX_SLL_P_802_2);
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, LINUX_SLL_P_802_2);
                gen_and(b0, b1);
 
                /*
                 * Now check for 802.3 frames and OR that with
                 * the previous test.
                 */
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, LINUX_SLL_P_802_3);
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, LINUX_SLL_P_802_3);
                gen_or(b0, b1);
 
                /*
@@ -2015,8 +2081,7 @@ gen_linux_sll_linktype(proto)
                 * do that before checking for the other frame
                 * types.
                 */
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H,
-                   (bpf_int32)ETHERTYPE_IPX);
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)ETHERTYPE_IPX);
                gen_or(b0, b1);
                return b1;
 
@@ -2032,7 +2097,7 @@ gen_linux_sll_linktype(proto)
                 * we check for the 802.2 protocol type in the
                 * "Ethernet type" field.
                 */
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, LINUX_SLL_P_802_2);
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, LINUX_SLL_P_802_2);
 
                /*
                 * 802.2-encapsulated ETHERTYPE_ATALK packets are
@@ -2056,7 +2121,7 @@ gen_linux_sll_linktype(proto)
                 * phase 1?); we just check for the Ethernet
                 * protocol type.
                 */
-               b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, (bpf_int32)proto);
+               b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)proto);
 
                gen_or(b0, b1);
                return b1;
@@ -2070,9 +2135,8 @@ gen_linux_sll_linktype(proto)
                         * in the "Ethernet type" field, and
                         * then check the DSAP.
                         */
-                       b0 = gen_cmp(OR_LINK, off_linktype, BPF_H,
-                           LINUX_SLL_P_802_2);
-                       b1 = gen_cmp(OR_LINK, off_macpl, BPF_B,
+                       b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, LINUX_SLL_P_802_2);
+                       b1 = gen_cmp(OR_LINKHDR, off_linkpl.constant_part, BPF_B,
                             (bpf_int32)proto);
                        gen_and(b0, b1);
                        return b1;
@@ -2086,8 +2150,7 @@ gen_linux_sll_linktype(proto)
                         * will fail and the frame won't match,
                         * which is what we want).
                         */
-                       return gen_cmp(OR_LINK, off_linktype, BPF_H,
-                           (bpf_int32)proto);
+                       return gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)proto);
                }
        }
 }
@@ -2125,7 +2188,7 @@ gen_load_prism_llprefixlen()
         * but no known software generates headers that aren't 144
         * bytes long.
         */
-       if (reg_off_ll != -1) {
+       if (off_linkhdr.reg != -1) {
                /*
                 * Load the cookie.
                 */
@@ -2187,7 +2250,7 @@ gen_load_prism_llprefixlen()
                 * loading the length of the AVS header.
                 */
                s2 = new_stmt(BPF_ST);
-               s2->s.k = reg_off_ll;
+               s2->s.k = off_linkhdr.reg;
                sappend(s1, s2);
                sjcommon->s.jf = s2;
 
@@ -2214,7 +2277,7 @@ gen_load_avs_llprefixlen()
         * generated uses that prefix, so we don't need to generate any
         * code to load it.)
         */
-       if (reg_off_ll != -1) {
+       if (off_linkhdr.reg != -1) {
                /*
                 * The 4 bytes at an offset of 4 from the beginning of
                 * the AVS header are the length of the AVS header.
@@ -2228,7 +2291,7 @@ gen_load_avs_llprefixlen()
                 * it.
                 */
                s2 = new_stmt(BPF_ST);
-               s2->s.k = reg_off_ll;
+               s2->s.k = off_linkhdr.reg;
                sappend(s1, s2);
 
                /*
@@ -2254,7 +2317,7 @@ gen_load_radiotap_llprefixlen()
         * generated uses that prefix, so we don't need to generate any
         * code to load it.)
         */
-       if (reg_off_ll != -1) {
+       if (off_linkhdr.reg != -1) {
                /*
                 * The 2 bytes at offsets of 2 and 3 from the beginning
                 * of the radiotap header are the length of the radiotap
@@ -2289,7 +2352,7 @@ gen_load_radiotap_llprefixlen()
                 * it.
                 */
                s2 = new_stmt(BPF_ST);
-               s2->s.k = reg_off_ll;
+               s2->s.k = off_linkhdr.reg;
                sappend(s1, s2);
 
                /*
@@ -2322,7 +2385,7 @@ gen_load_ppi_llprefixlen()
         * into the register assigned to hold that length, if one has
         * been assigned.
         */
-       if (reg_off_ll != -1) {
+       if (off_linkhdr.reg != -1) {
                /*
                 * The 2 bytes at offsets of 2 and 3 from the beginning
                 * of the radiotap header are the length of the radiotap
@@ -2357,7 +2420,7 @@ gen_load_ppi_llprefixlen()
                 * it.
                 */
                s2 = new_stmt(BPF_ST);
-               s2->s.k = reg_off_ll;
+               s2->s.k = off_linkhdr.reg;
                sappend(s1, s2);
 
                /*
@@ -2390,10 +2453,10 @@ gen_load_802_11_header_len(struct slist *s, struct slist *snext)
        struct slist *sjset_tsft_datapad, *sjset_notsft_datapad;
        struct slist *s_roundup;
 
-       if (reg_off_macpl == -1) {
+       if (off_linkpl.reg == -1) {
                /*
                 * No register has been assigned to the offset of
-                * the MAC-layer payload, which means nobody needs
+                * the link-layer payload, which means nobody needs
                 * it; don't bother computing it - just return
                 * what we already have.
                 */
@@ -2413,7 +2476,7 @@ gen_load_802_11_header_len(struct slist *s, struct slist *snext)
         * header.
         *
         * Otherwise, the length of the prefix preceding the link-layer
-        * header is "off_ll".
+        * header is "off_outermostlinkhdr.constant_part".
         */
        if (s == NULL) {
                /*
@@ -2422,18 +2485,18 @@ gen_load_802_11_header_len(struct slist *s, struct slist *snext)
                 *
                 * Load the length of the fixed-length prefix preceding
                 * the link-layer header (if any) into the X register,
-                * and store it in the reg_off_macpl register.
-                * That length is off_ll.
+                * and store it in the off_linkpl.reg register.
+                * That length is off_outermostlinkhdr.constant_part.
                 */
                s = new_stmt(BPF_LDX|BPF_IMM);
-               s->s.k = off_ll;
+               s->s.k = off_outermostlinkhdr.constant_part;
        }
 
        /*
         * The X register contains the offset of the beginning of the
         * link-layer header; add 24, which is the minimum length
         * of the MAC header for a data frame, to that, and store it
-        * in reg_off_macpl, and then load the Frame Control field,
+        * in off_linkpl.reg, and then load the Frame Control field,
         * which is at the offset in the X register, with an indexed load.
         */
        s2 = new_stmt(BPF_MISC|BPF_TXA);
@@ -2442,7 +2505,7 @@ gen_load_802_11_header_len(struct slist *s, struct slist *snext)
        s2->s.k = 24;
        sappend(s, s2);
        s2 = new_stmt(BPF_ST);
-       s2->s.k = reg_off_macpl;
+       s2->s.k = off_linkpl.reg;
        sappend(s, s2);
 
        s2 = new_stmt(BPF_LD|BPF_IND|BPF_B);
@@ -2478,19 +2541,19 @@ gen_load_802_11_header_len(struct slist *s, struct slist *snext)
        sappend(s, sjset_qos);
 
        /*
-        * If it's set, add 2 to reg_off_macpl, to skip the QoS
+        * If it's set, add 2 to off_linkpl.reg, to skip the QoS
         * field.
         * Otherwise, go to the first statement of the rest of the
         * program.
         */
        sjset_qos->s.jt = s2 = new_stmt(BPF_LD|BPF_MEM);
-       s2->s.k = reg_off_macpl;
+       s2->s.k = off_linkpl.reg;
        sappend(s, s2);
        s2 = new_stmt(BPF_ALU|BPF_ADD|BPF_IMM);
        s2->s.k = 2;
        sappend(s, s2);
        s2 = new_stmt(BPF_ST);
-       s2->s.k = reg_off_macpl;
+       s2->s.k = off_linkpl.reg;
        sappend(s, s2);
 
        /*
@@ -2570,7 +2633,7 @@ gen_load_802_11_header_len(struct slist *s, struct slist *snext)
                 * ANDing with ~3.
                 */
                s_roundup = new_stmt(BPF_LD|BPF_MEM);
-               s_roundup->s.k = reg_off_macpl;
+               s_roundup->s.k = off_linkpl.reg;
                sappend(s, s_roundup);
                s2 = new_stmt(BPF_ALU|BPF_ADD|BPF_IMM);
                s2->s.k = 3;
@@ -2579,7 +2642,7 @@ gen_load_802_11_header_len(struct slist *s, struct slist *snext)
                s2->s.k = ~3;
                sappend(s, s2);
                s2 = new_stmt(BPF_ST);
-               s2->s.k = reg_off_macpl;
+               s2->s.k = off_linkpl.reg;
                sappend(s, s2);
 
                sjset_tsft_datapad->s.jt = s_roundup;
@@ -2598,13 +2661,27 @@ insert_compute_vloffsets(b)
 {
        struct slist *s;
 
+       /* There is an implicit dependency between the link
+        * payload and link header since the payload computation
+        * includes the variable part of the header. Therefore,
+        * if nobody else has allocated a register for the link
+        * header and we need it, do it now. */
+       if (off_linkpl.reg != -1 && off_linkhdr.is_variable &&
+           off_linkhdr.reg == -1)
+               off_linkhdr.reg = alloc_reg();
+
        /*
         * For link-layer types that have a variable-length header
         * preceding the link-layer header, generate code to load
         * the offset of the link-layer header into the register
         * assigned to that offset, if any.
+        *
+        * XXX - this, and the next switch statement, won't handle
+        * encapsulation of 802.11 or 802.11+radio information in
+        * some other protocol stack.  That's significantly more
+        * complicated.
         */
-       switch (linktype) {
+       switch (outermostlinktype) {
 
        case DLT_PRISM_HEADER:
                s = gen_load_prism_llprefixlen();
@@ -2629,10 +2706,10 @@ insert_compute_vloffsets(b)
 
        /*
         * For link-layer types that have a variable-length link-layer
-        * header, generate code to load the offset of the MAC-layer
+        * header, generate code to load the offset of the link-layer
         * payload into the register assigned to that offset, if any.
         */
-       switch (linktype) {
+       switch (outermostlinktype) {
 
        case DLT_IEEE802_11:
        case DLT_PRISM_HEADER:
@@ -2681,160 +2758,45 @@ gen_ppi_dlt_check(void)
        return b;
 }
 
-static struct slist *
-gen_prism_llprefixlen(void)
-{
-       struct slist *s;
-
-       if (reg_off_ll == -1) {
-               /*
-                * We haven't yet assigned a register for the length
-                * of the radio header; allocate one.
-                */
-               reg_off_ll = alloc_reg();
-       }
-
-       /*
-        * Load the register containing the radio length
-        * into the X register.
-        */
-       s = new_stmt(BPF_LDX|BPF_MEM);
-       s->s.k = reg_off_ll;
-       return s;
-}
-
-static struct slist *
-gen_avs_llprefixlen(void)
-{
-       struct slist *s;
-
-       if (reg_off_ll == -1) {
-               /*
-                * We haven't yet assigned a register for the length
-                * of the AVS header; allocate one.
-                */
-               reg_off_ll = alloc_reg();
-       }
-
-       /*
-        * Load the register containing the AVS length
-        * into the X register.
-        */
-       s = new_stmt(BPF_LDX|BPF_MEM);
-       s->s.k = reg_off_ll;
-       return s;
-}
-
-static struct slist *
-gen_radiotap_llprefixlen(void)
-{
-       struct slist *s;
-
-       if (reg_off_ll == -1) {
-               /*
-                * We haven't yet assigned a register for the length
-                * of the radiotap header; allocate one.
-                */
-               reg_off_ll = alloc_reg();
-       }
-
-       /*
-        * Load the register containing the radiotap length
-        * into the X register.
-        */
-       s = new_stmt(BPF_LDX|BPF_MEM);
-       s->s.k = reg_off_ll;
-       return s;
-}
-
-/*
- * At the moment we treat PPI as normal Radiotap encoded
- * packets. The difference is in the function that generates
- * the code at the beginning to compute the header length.
- * Since this code generator of PPI supports bare 802.11
- * encapsulation only (i.e. the encapsulated DLT should be
- * DLT_IEEE802_11) we generate code to check for this too.
- */
-static struct slist *
-gen_ppi_llprefixlen(void)
-{
-       struct slist *s;
-
-       if (reg_off_ll == -1) {
-               /*
-                * We haven't yet assigned a register for the length
-                * of the radiotap header; allocate one.
-                */
-               reg_off_ll = alloc_reg();
-       }
-
-       /*
-        * Load the register containing the PPI length
-        * into the X register.
-        */
-       s = new_stmt(BPF_LDX|BPF_MEM);
-       s->s.k = reg_off_ll;
-       return s;
-}
-
-/*
- * Generate code to compute the link-layer header length, if necessary,
- * putting it into the X register, and to return either a pointer to a
- * "struct slist" for the list of statements in that code, or NULL if
- * no code is necessary.
- */
-static struct slist *
-gen_llprefixlen(void)
-{
-       switch (linktype) {
-
-       case DLT_PRISM_HEADER:
-               return gen_prism_llprefixlen();
-
-       case DLT_IEEE802_11_RADIO_AVS:
-               return gen_avs_llprefixlen();
-
-       case DLT_IEEE802_11_RADIO:
-               return gen_radiotap_llprefixlen();
-
-       case DLT_PPI:
-               return gen_ppi_llprefixlen();
-
-       default:
-               return NULL;
-       }
-}
-
 /*
- * Generate code to load the register containing the offset of the
- * MAC-layer payload into the X register; if no register for that offset
- * has been allocated, allocate it first.
+ * Take an absolute offset, and:
+ *
+ *    if it has no variable part, return NULL;
+ *
+ *    if it has a variable part, generate code to load the register
+ *    containing that variable part into the X register, returning
+ *    a pointer to that code - if no register for that offset has
+ *    been allocated, allocate it first.
+ *
+ * (The code to set that register will be generated later, but will
+ * be placed earlier in the code sequence.)
  */
 static struct slist *
-gen_off_macpl(void)
+gen_abs_offset_varpart(bpf_abs_offset *off)
 {
        struct slist *s;
 
-       if (off_macpl_is_variable) {
-               if (reg_off_macpl == -1) {
+       if (off->is_variable) {
+               if (off->reg == -1) {
                        /*
-                        * We haven't yet assigned a register for the offset
-                        * of the MAC-layer payload; allocate one.
+                        * We haven't yet assigned a register for the
+                        * variable part of the offset of the link-layer
+                        * header; allocate one.
                         */
-                       reg_off_macpl = alloc_reg();
+                       off->reg = alloc_reg();
                }
 
                /*
-                * Load the register containing the offset of the MAC-layer
-                * payload into the X register.
+                * Load the register containing the variable part of the
+                * offset of the link-layer header into the X register.
                 */
                s = new_stmt(BPF_LDX|BPF_MEM);
-               s->s.k = reg_off_macpl;
+               s->s.k = off->reg;
                return s;
        } else {
                /*
-                * That offset isn't variable, so we don't need to
-                * generate any code.
+                * That offset isn't variable, there's no variable part,
+                * so we don't need to generate any code.
                 */
                return NULL;
        }
@@ -2889,6 +2851,43 @@ ethertype_to_ppptype(proto)
        return (proto);
 }
 
+/*
+ * Generate any tests that, for encapsulation of a link-layer packet
+ * inside another protocol stack, need to be done to check for those
+ * link-layer packets (and that haven't already been done by a check
+ * for that encapsulation).
+ */
+static struct block *
+gen_prevlinkhdr_check(void)
+{
+       struct block *b0;
+
+       if (is_geneve)
+               return gen_geneve_ll_check();
+
+       switch (prevlinktype) {
+
+       case DLT_SUNATM:
+               /*
+                * This is LANE-encapsulated Ethernet; check that the LANE
+                * packet doesn't begin with an LE Control marker, i.e.
+                * that it's data, not a control message.
+                *
+                * (We've already generated a test for LANE.)
+                */
+               b0 = gen_cmp(OR_PREVLINKHDR, SUNATM_PKT_BEGIN_POS, BPF_H, 0xFF00);
+               gen_not(b0);
+               return b0;
+
+       default:
+               /*
+                * No such tests are necessary.
+                */
+               return NULL;
+       }
+       /*NOTREACHED*/
+}
+
 /*
  * Generate code to match a particular packet type by matching the
  * link-layer type field or fields in the 802.2 LLC header.
@@ -2922,31 +2921,22 @@ gen_linktype(proto)
                }
        }
 
-       /*
-        * Are we testing PPPoE packets?
-        */
-       if (is_pppoes) {
-               /*
-                * The PPPoE session header is part of the
-                * MAC-layer payload, so all references
-                * should be relative to the beginning of
-                * that payload.
-                */
-
-               /*
-                * We use Ethernet protocol types inside libpcap;
-                * map them to the corresponding PPP protocol types.
-                */
-               proto = ethertype_to_ppptype(proto);
-               return gen_cmp(OR_MACPL, off_linktype, BPF_H, (bpf_int32)proto);
-       }
-
        switch (linktype) {
 
        case DLT_EN10MB:
        case DLT_NETANALYZER:
        case DLT_NETANALYZER_TRANSPARENT:
-               return gen_ether_linktype(proto);
+               /* Geneve has an EtherType regardless of whether there is an
+                * L2 header. */
+               if (!is_geneve)
+                       b0 = gen_prevlinkhdr_check();
+               else
+                       b0 = NULL;
+
+               b1 = gen_ether_linktype(proto);
+               if (b0 != NULL)
+                       gen_and(b0, b1);
+               return b1;
                /*NOTREACHED*/
                break;
 
@@ -2958,8 +2948,7 @@ gen_linktype(proto)
                        /* fall through */
 
                default:
-                       return gen_cmp(OR_LINK, off_linktype, BPF_H,
-                           (bpf_int32)proto);
+                       return gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)proto);
                        /*NOTREACHED*/
                        break;
                }
@@ -3009,38 +2998,16 @@ gen_linktype(proto)
 
        case DLT_SUNATM:
                /*
-                * If "is_lane" is set, check for a LANE-encapsulated
-                * version of this protocol, otherwise check for an
-                * LLC-encapsulated version of this protocol.
+                * Check for an LLC-encapsulated version of this protocol;
+                * if we were checking for LANE, linktype would no longer
+                * be DLT_SUNATM.
                 *
-                * We assume LANE means Ethernet, not Token Ring.
+                * Check for LLC encapsulation and then check the protocol.
                 */
-               if (is_lane) {
-                       /*
-                        * Check that the packet doesn't begin with an
-                        * LE Control marker.  (We've already generated
-                        * a test for LANE.)
-                        */
-                       b0 = gen_cmp(OR_LINK, SUNATM_PKT_BEGIN_POS, BPF_H,
-                           0xFF00);
-                       gen_not(b0);
-
-                       /*
-                        * Now generate an Ethernet test.
-                        */
-                       b1 = gen_ether_linktype(proto);
-                       gen_and(b0, b1);
-                       return b1;
-               } else {
-                       /*
-                        * Check for LLC encapsulation and then check the
-                        * protocol.
-                        */
-                       b0 = gen_atmfield_code(A_PROTOTYPE, PT_LLC, BPF_JEQ, 0);
-                       b1 = gen_llc_linktype(proto);
-                       gen_and(b0, b1);
-                       return b1;
-               }
+               b0 = gen_atmfield_code(A_PROTOTYPE, PT_LLC, BPF_JEQ, 0);
+               b1 = gen_llc_linktype(proto);
+               gen_and(b0, b1);
+               return b1;
                /*NOTREACHED*/
                break;
 
@@ -3063,11 +3030,11 @@ gen_linktype(proto)
 
                case ETHERTYPE_IP:
                        /* Check for a version number of 4. */
-                       return gen_mcmp(OR_LINK, 0, BPF_B, 0x40, 0xF0);
+                       return gen_mcmp(OR_LINKHDR, 0, BPF_B, 0x40, 0xF0);
 
                case ETHERTYPE_IPV6:
                        /* Check for a version number of 6. */
-                       return gen_mcmp(OR_LINK, 0, BPF_B, 0x60, 0xF0);
+                       return gen_mcmp(OR_LINKHDR, 0, BPF_B, 0x60, 0xF0);
 
                default:
                        return gen_false();             /* always false */
@@ -3108,7 +3075,7 @@ gen_linktype(proto)
                 * map them to the corresponding PPP protocol types.
                 */
                proto = ethertype_to_ppptype(proto);
-               return gen_cmp(OR_LINK, off_linktype, BPF_H, (bpf_int32)proto);
+               return gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)proto);
                /*NOTREACHED*/
                break;
 
@@ -3124,16 +3091,16 @@ gen_linktype(proto)
                         * Also check for Van Jacobson-compressed IP.
                         * XXX - do this for other forms of PPP?
                         */
-                       b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, PPP_IP);
-                       b1 = gen_cmp(OR_LINK, off_linktype, BPF_H, PPP_VJC);
+                       b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, PPP_IP);
+                       b1 = gen_cmp(OR_LINKTYPE, 0, BPF_H, PPP_VJC);
                        gen_or(b0, b1);
-                       b0 = gen_cmp(OR_LINK, off_linktype, BPF_H, PPP_VJNC);
+                       b0 = gen_cmp(OR_LINKTYPE, 0, BPF_H, PPP_VJNC);
                        gen_or(b1, b0);
                        return b0;
 
                default:
                        proto = ethertype_to_ppptype(proto);
-                       return gen_cmp(OR_LINK, off_linktype, BPF_H,
+                       return gen_cmp(OR_LINKTYPE, 0, BPF_H,
                                (bpf_int32)proto);
                }
                /*NOTREACHED*/
@@ -3202,7 +3169,7 @@ gen_linktype(proto)
                                proto = SWAPLONG(proto);
                        proto = htonl(proto);
                }
-               return (gen_cmp(OR_LINK, 0, BPF_W, (bpf_int32)proto));
+               return (gen_cmp(OR_LINKHDR, 0, BPF_W, (bpf_int32)proto));
 
 #ifdef HAVE_NET_PFVAR_H
        case DLT_PFLOG:
@@ -3211,10 +3178,10 @@ gen_linktype(proto)
                 * the packet.
                 */
                if (proto == ETHERTYPE_IP)
-                       return (gen_cmp(OR_LINK, offsetof(struct pfloghdr, af),
+                       return (gen_cmp(OR_LINKHDR, offsetof(struct pfloghdr, af),
                            BPF_B, (bpf_int32)AF_INET));
                else if (proto == ETHERTYPE_IPV6)
-                       return (gen_cmp(OR_LINK, offsetof(struct pfloghdr, af),
+                       return (gen_cmp(OR_LINKHDR, offsetof(struct pfloghdr, af),
                            BPF_B, (bpf_int32)AF_INET6));
                else
                        return gen_false();
@@ -3234,31 +3201,31 @@ gen_linktype(proto)
                        return gen_false();
 
                case ETHERTYPE_IPV6:
-                       return (gen_cmp(OR_LINK, off_linktype, BPF_B,
+                       return (gen_cmp(OR_LINKTYPE, 0, BPF_B,
                                (bpf_int32)ARCTYPE_INET6));
 
                case ETHERTYPE_IP:
-                       b0 = gen_cmp(OR_LINK, off_linktype, BPF_B,
+                       b0 = gen_cmp(OR_LINKTYPE, 0, BPF_B,
                                     (bpf_int32)ARCTYPE_IP);
-                       b1 = gen_cmp(OR_LINK, off_linktype, BPF_B,
+                       b1 = gen_cmp(OR_LINKTYPE, 0, BPF_B,
                                     (bpf_int32)ARCTYPE_IP_OLD);
                        gen_or(b0, b1);
                        return (b1);
 
                case ETHERTYPE_ARP:
-                       b0 = gen_cmp(OR_LINK, off_linktype, BPF_B,
+                       b0 = gen_cmp(OR_LINKTYPE, 0, BPF_B,
                                     (bpf_int32)ARCTYPE_ARP);
-                       b1 = gen_cmp(OR_LINK, off_linktype, BPF_B,
+                       b1 = gen_cmp(OR_LINKTYPE, 0, BPF_B,
                                     (bpf_int32)ARCTYPE_ARP_OLD);
                        gen_or(b0, b1);
                        return (b1);
 
                case ETHERTYPE_REVARP:
-                       return (gen_cmp(OR_LINK, off_linktype, BPF_B,
+                       return (gen_cmp(OR_LINKTYPE, 0, BPF_B,
                                        (bpf_int32)ARCTYPE_REVARP));
 
                case ETHERTYPE_ATALK:
-                       return (gen_cmp(OR_LINK, off_linktype, BPF_B,
+                       return (gen_cmp(OR_LINKTYPE, 0, BPF_B,
                                        (bpf_int32)ARCTYPE_ATALK));
                }
                /*NOTREACHED*/
@@ -3285,13 +3252,13 @@ gen_linktype(proto)
                        /*
                         * Check for the special NLPID for IP.
                         */
-                       return gen_cmp(OR_LINK, 2, BPF_H, (0x03<<8) | 0xcc);
+                       return gen_cmp(OR_LINKHDR, 2, BPF_H, (0x03<<8) | 0xcc);
 
                case ETHERTYPE_IPV6:
                        /*
                         * Check for the special NLPID for IPv6.
                         */
-                       return gen_cmp(OR_LINK, 2, BPF_H, (0x03<<8) | 0x8e);
+                       return gen_cmp(OR_LINKHDR, 2, BPF_H, (0x03<<8) | 0x8e);
 
                case LLCSAP_ISONS:
                        /*
@@ -3305,9 +3272,9 @@ gen_linktype(proto)
                         * control field of UI, i.e. 0x03 followed
                         * by the NLPID.
                         */
-                       b0 = gen_cmp(OR_LINK, 2, BPF_H, (0x03<<8) | ISO8473_CLNP);
-                       b1 = gen_cmp(OR_LINK, 2, BPF_H, (0x03<<8) | ISO9542_ESIS);
-                       b2 = gen_cmp(OR_LINK, 2, BPF_H, (0x03<<8) | ISO10589_ISIS);
+                       b0 = gen_cmp(OR_LINKHDR, 2, BPF_H, (0x03<<8) | ISO8473_CLNP);
+                       b1 = gen_cmp(OR_LINKHDR, 2, BPF_H, (0x03<<8) | ISO9542_ESIS);
+                       b2 = gen_cmp(OR_LINKHDR, 2, BPF_H, (0x03<<8) | ISO10589_ISIS);
                        gen_or(b1, b2);
                        gen_or(b0, b2);
                        return b2;
@@ -3351,10 +3318,10 @@ gen_linktype(proto)
                 *
                 * FIXME encapsulation specific BPF_ filters
                 */
-               return gen_mcmp(OR_LINK, 0, BPF_W, 0x4d474300, 0xffffff00); /* compare the magic number */
+               return gen_mcmp(OR_LINKHDR, 0, BPF_W, 0x4d474300, 0xffffff00); /* compare the magic number */
 
        case DLT_BACNET_MS_TP:
-               return gen_mcmp(OR_LINK, 0, BPF_W, 0x55FF0000, 0xffff0000);
+               return gen_mcmp(OR_LINKHDR, 0, BPF_W, 0x55FF0000, 0xffff0000);
 
        case DLT_IPNET:
                return gen_ipnet_linktype(proto);
@@ -3423,16 +3390,16 @@ gen_linktype(proto)
                /*
                 * Does this link-layer header type have a field
                 * indicating the type of the next protocol?  If
-                * so, off_linktype will be the offset of that
+                * so, off_linktype.constant_part will be the offset of that
                 * field in the packet; if not, it will be -1.
                 */
-               if (off_linktype != (u_int)-1) {
+               if (off_linktype.constant_part != (u_int)-1) {
                        /*
                         * Yes; assume it's an Ethernet type.  (If
                         * it's not, it needs to be handled specially
                         * above.)
                         */
-                       return gen_cmp(OR_LINK, off_linktype, BPF_H, (bpf_int32)proto);
+                       return gen_cmp(OR_LINKTYPE, 0, BPF_H, (bpf_int32)proto);
                } else {
                        /*
                         * No; report an error.
@@ -3472,7 +3439,7 @@ gen_snap(orgcode, ptype)
        snapblock[5] = (orgcode >> 0);  /* lower 8 bits of organization code */
        snapblock[6] = (ptype >> 8);    /* upper 8 bits of protocol type */
        snapblock[7] = (ptype >> 0);    /* lower 8 bits of protocol type */
-       return gen_bcmp(OR_MACPL, 0, 8, snapblock);
+       return gen_bcmp(OR_LLC, 0, 8, snapblock);
 }
 
 /*
@@ -3490,14 +3457,14 @@ gen_llc(void)
                 * We check for an Ethernet type field less than
                 * 1500, which means it's an 802.3 length field.
                 */
-               b0 = gen_cmp_gt(OR_LINK, off_linktype, BPF_H, ETHERMTU);
+               b0 = gen_cmp_gt(OR_LINKTYPE, 0, BPF_H, ETHERMTU);
                gen_not(b0);
 
                /*
                 * Now check for the purported DSAP and SSAP not being
                 * 0xFF, to rule out NetWare-over-802.3.
                 */
-               b1 = gen_cmp(OR_MACPL, 0, BPF_H, (bpf_int32)0xFFFF);
+               b1 = gen_cmp(OR_LLC, 0, BPF_H, (bpf_int32)0xFFFF);
                gen_not(b1);
                gen_and(b0, b1);
                return b1;
@@ -3564,7 +3531,7 @@ gen_llc_i(void)
         * Load the control byte and test the low-order bit; it must
         * be clear for I frames.
         */
-       s = gen_load_a(OR_MACPL, 2, BPF_B);
+       s = gen_load_a(OR_LLC, 2, BPF_B);
        b1 = new_block(JMP(BPF_JSET));
        b1->s.k = 0x01;
        b1->stmts = s;
@@ -3587,7 +3554,7 @@ gen_llc_s(void)
         * Now compare the low-order 2 bit of the control byte against
         * the appropriate value for S frames.
         */
-       b1 = gen_mcmp(OR_MACPL, 2, BPF_B, LLC_S_FMT, 0x03);
+       b1 = gen_mcmp(OR_LLC, 2, BPF_B, LLC_S_FMT, 0x03);
        gen_and(b0, b1);
        return b1;
 }
@@ -3606,7 +3573,7 @@ gen_llc_u(void)
         * Now compare the low-order 2 bit of the control byte against
         * the appropriate value for U frames.
         */
-       b1 = gen_mcmp(OR_MACPL, 2, BPF_B, LLC_U_FMT, 0x03);
+       b1 = gen_mcmp(OR_LLC, 2, BPF_B, LLC_U_FMT, 0x03);
        gen_and(b0, b1);
        return b1;
 }
@@ -3624,7 +3591,7 @@ gen_llc_s_subtype(bpf_u_int32 subtype)
        /*
         * Now check for an S frame with the appropriate type.
         */
-       b1 = gen_mcmp(OR_MACPL, 2, BPF_B, subtype, LLC_S_CMD_MASK);
+       b1 = gen_mcmp(OR_LLC, 2, BPF_B, subtype, LLC_S_CMD_MASK);
        gen_and(b0, b1);
        return b1;
 }
@@ -3642,7 +3609,7 @@ gen_llc_u_subtype(bpf_u_int32 subtype)
        /*
         * Now check for a U frame with the appropriate type.
         */
-       b1 = gen_mcmp(OR_MACPL, 2, BPF_B, subtype, LLC_U_CMD_MASK);
+       b1 = gen_mcmp(OR_LLC, 2, BPF_B, subtype, LLC_U_CMD_MASK);
        gen_and(b0, b1);
        return b1;
 }
@@ -3674,10 +3641,9 @@ gen_llc_linktype(proto)
                /*
                 * XXX - should we check both the DSAP and the
                 * SSAP, like this, or should we check just the
-                * DSAP, as we do for other types <= ETHERMTU
-                * (i.e., other SAP values)?
+                * DSAP, as we do for other SAP values?
                 */
-               return gen_cmp(OR_MACPL, 0, BPF_H, (bpf_u_int32)
+               return gen_cmp(OR_LLC, 0, BPF_H, (bpf_u_int32)
                             ((proto << 8) | proto));
 
        case LLCSAP_IPX:
@@ -3685,7 +3651,7 @@ gen_llc_linktype(proto)
                 * XXX - are there ever SNAP frames for IPX on
                 * non-Ethernet 802.x networks?
                 */
-               return gen_cmp(OR_MACPL, 0, BPF_B,
+               return gen_cmp(OR_LLC, 0, BPF_B,
                    (bpf_int32)LLCSAP_IPX);
 
        case ETHERTYPE_ATALK:
@@ -3710,7 +3676,7 @@ gen_llc_linktype(proto)
                         * This is an LLC SAP value, so check
                         * the DSAP.
                         */
-                       return gen_cmp(OR_MACPL, 0, BPF_B, (bpf_int32)proto);
+                       return gen_cmp(OR_LLC, 0, BPF_B, (bpf_int32)proto);
                } else {
                        /*
                         * This is an Ethernet type; we assume that it's
@@ -3731,7 +3697,7 @@ gen_llc_linktype(proto)
                         * I don't know whether it's worth the extra CPU
                         * time to do the right check or not.
                         */
-                       return gen_cmp(OR_MACPL, 6, BPF_H, (bpf_int32)proto);
+                       return gen_cmp(OR_LLC, 6, BPF_H, (bpf_int32)proto);
                }
        }
 }
@@ -3773,7 +3739,7 @@ gen_hostop(addr, mask, dir, proto, src_off, dst_off)
                abort();
        }
        b0 = gen_linktype(proto);
-       b1 = gen_mcmp(OR_NET, offset, BPF_W, (bpf_int32)addr, mask);
+       b1 = gen_mcmp(OR_LINKPL, offset, BPF_W, (bpf_int32)addr, mask);
        gen_and(b0, b1);
        return b1;
 }
@@ -3819,12 +3785,12 @@ gen_hostop6(addr, mask, dir, proto, src_off, dst_off)
        /* this order is important */
        a = (u_int32_t *)addr;
        m = (u_int32_t *)mask;
-       b1 = gen_mcmp(OR_NET, offset + 12, BPF_W, ntohl(a[3]), ntohl(m[3]));
-       b0 = gen_mcmp(OR_NET, offset + 8, BPF_W, ntohl(a[2]), ntohl(m[2]));
+       b1 = gen_mcmp(OR_LINKPL, offset + 12, BPF_W, ntohl(a[3]), ntohl(m[3]));
+       b0 = gen_mcmp(OR_LINKPL, offset + 8, BPF_W, ntohl(a[2]), ntohl(m[2]));
        gen_and(b0, b1);
-       b0 = gen_mcmp(OR_NET, offset + 4, BPF_W, ntohl(a[1]), ntohl(m[1]));
+       b0 = gen_mcmp(OR_LINKPL, offset + 4, BPF_W, ntohl(a[1]), ntohl(m[1]));
        gen_and(b0, b1);
-       b0 = gen_mcmp(OR_NET, offset + 0, BPF_W, ntohl(a[0]), ntohl(m[0]));
+       b0 = gen_mcmp(OR_LINKPL, offset + 0, BPF_W, ntohl(a[0]), ntohl(m[0]));
        gen_and(b0, b1);
        b0 = gen_linktype(proto);
        gen_and(b0, b1);
@@ -3841,10 +3807,10 @@ gen_ehostop(eaddr, dir)
 
        switch (dir) {
        case Q_SRC:
-               return gen_bcmp(OR_LINK, off_mac + 6, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 6, 6, eaddr);
 
        case Q_DST:
-               return gen_bcmp(OR_LINK, off_mac + 0, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 0, 6, eaddr);
 
        case Q_AND:
                b0 = gen_ehostop(eaddr, Q_SRC);
@@ -3899,10 +3865,10 @@ gen_fhostop(eaddr, dir)
 
        switch (dir) {
        case Q_SRC:
-               return gen_bcmp(OR_LINK, 6 + 1 + pcap_fddipad, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 6 + 1 + pcap_fddipad, 6, eaddr);
 
        case Q_DST:
-               return gen_bcmp(OR_LINK, 0 + 1 + pcap_fddipad, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 0 + 1 + pcap_fddipad, 6, eaddr);
 
        case Q_AND:
                b0 = gen_fhostop(eaddr, Q_SRC);
@@ -3957,10 +3923,10 @@ gen_thostop(eaddr, dir)
 
        switch (dir) {
        case Q_SRC:
-               return gen_bcmp(OR_LINK, 8, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 8, 6, eaddr);
 
        case Q_DST:
-               return gen_bcmp(OR_LINK, 2, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 2, 6, eaddr);
 
        case Q_AND:
                b0 = gen_thostop(eaddr, Q_SRC);
@@ -4052,7 +4018,7 @@ gen_wlanhostop(eaddr, dir)
                 *
                 * First, check for To DS set, i.e. check "link[1] & 0x01".
                 */
-               s = gen_load_a(OR_LINK, 1, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x01; /* To DS */
                b1->stmts = s;
@@ -4060,14 +4026,14 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * If To DS is set, the SA is at 24.
                 */
-               b0 = gen_bcmp(OR_LINK, 24, 6, eaddr);
+               b0 = gen_bcmp(OR_LINKHDR, 24, 6, eaddr);
                gen_and(b1, b0);
 
                /*
                 * Now, check for To DS not set, i.e. check
                 * "!(link[1] & 0x01)".
                 */
-               s = gen_load_a(OR_LINK, 1, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                b2 = new_block(JMP(BPF_JSET));
                b2->s.k = 0x01; /* To DS */
                b2->stmts = s;
@@ -4076,7 +4042,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * If To DS is not set, the SA is at 16.
                 */
-               b1 = gen_bcmp(OR_LINK, 16, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 16, 6, eaddr);
                gen_and(b2, b1);
 
                /*
@@ -4090,7 +4056,7 @@ gen_wlanhostop(eaddr, dir)
                 * Now check for From DS being set, and AND that with
                 * the ORed-together checks.
                 */
-               s = gen_load_a(OR_LINK, 1, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x02; /* From DS */
                b1->stmts = s;
@@ -4099,7 +4065,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * Now check for data frames with From DS not set.
                 */
-               s = gen_load_a(OR_LINK, 1, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                b2 = new_block(JMP(BPF_JSET));
                b2->s.k = 0x02; /* From DS */
                b2->stmts = s;
@@ -4108,7 +4074,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * If From DS isn't set, the SA is at 10.
                 */
-               b1 = gen_bcmp(OR_LINK, 10, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 10, 6, eaddr);
                gen_and(b2, b1);
 
                /*
@@ -4122,7 +4088,7 @@ gen_wlanhostop(eaddr, dir)
                 * Now check for a data frame.
                 * I.e, check "link[0] & 0x08".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x08;
                b1->stmts = s;
@@ -4137,7 +4103,7 @@ gen_wlanhostop(eaddr, dir)
                 * is a management frame.
                 * I.e, check "!(link[0] & 0x08)".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b2 = new_block(JMP(BPF_JSET));
                b2->s.k = 0x08;
                b2->stmts = s;
@@ -4146,7 +4112,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * For management frames, the SA is at 10.
                 */
-               b1 = gen_bcmp(OR_LINK, 10, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 10, 6, eaddr);
                gen_and(b2, b1);
 
                /*
@@ -4164,7 +4130,7 @@ gen_wlanhostop(eaddr, dir)
                 *
                 * I.e., check "!(link[0] & 0x04)".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x04;
                b1->stmts = s;
@@ -4199,7 +4165,7 @@ gen_wlanhostop(eaddr, dir)
                 *
                 * First, check for To DS set, i.e. "link[1] & 0x01".
                 */
-               s = gen_load_a(OR_LINK, 1, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x01; /* To DS */
                b1->stmts = s;
@@ -4207,14 +4173,14 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * If To DS is set, the DA is at 16.
                 */
-               b0 = gen_bcmp(OR_LINK, 16, 6, eaddr);
+               b0 = gen_bcmp(OR_LINKHDR, 16, 6, eaddr);
                gen_and(b1, b0);
 
                /*
                 * Now, check for To DS not set, i.e. check
                 * "!(link[1] & 0x01)".
                 */
-               s = gen_load_a(OR_LINK, 1, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                b2 = new_block(JMP(BPF_JSET));
                b2->s.k = 0x01; /* To DS */
                b2->stmts = s;
@@ -4223,7 +4189,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * If To DS is not set, the DA is at 4.
                 */
-               b1 = gen_bcmp(OR_LINK, 4, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 4, 6, eaddr);
                gen_and(b2, b1);
 
                /*
@@ -4236,7 +4202,7 @@ gen_wlanhostop(eaddr, dir)
                 * Now check for a data frame.
                 * I.e, check "link[0] & 0x08".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x08;
                b1->stmts = s;
@@ -4251,7 +4217,7 @@ gen_wlanhostop(eaddr, dir)
                 * is a management frame.
                 * I.e, check "!(link[0] & 0x08)".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b2 = new_block(JMP(BPF_JSET));
                b2->s.k = 0x08;
                b2->stmts = s;
@@ -4260,7 +4226,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * For management frames, the DA is at 4.
                 */
-               b1 = gen_bcmp(OR_LINK, 4, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 4, 6, eaddr);
                gen_and(b2, b1);
 
                /*
@@ -4278,7 +4244,7 @@ gen_wlanhostop(eaddr, dir)
                 *
                 * I.e., check "!(link[0] & 0x04)".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x04;
                b1->stmts = s;
@@ -4302,7 +4268,7 @@ gen_wlanhostop(eaddr, dir)
                 * is a management frame.
                 * I.e, check "(link[0] & 0x08)".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x08;
                b1->stmts = s;
@@ -4310,7 +4276,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * Check addr1.
                 */
-               b0 = gen_bcmp(OR_LINK, 4, 6, eaddr);
+               b0 = gen_bcmp(OR_LINKHDR, 4, 6, eaddr);
 
                /*
                 * AND that with the check of addr1.
@@ -4327,13 +4293,13 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * Not present in CTS or ACK control frames.
                 */
-               b0 = gen_mcmp(OR_LINK, 0, BPF_B, IEEE80211_FC0_TYPE_CTL,
+               b0 = gen_mcmp(OR_LINKHDR, 0, BPF_B, IEEE80211_FC0_TYPE_CTL,
                        IEEE80211_FC0_TYPE_MASK);
                gen_not(b0);
-               b1 = gen_mcmp(OR_LINK, 0, BPF_B, IEEE80211_FC0_SUBTYPE_CTS,
+               b1 = gen_mcmp(OR_LINKHDR, 0, BPF_B, IEEE80211_FC0_SUBTYPE_CTS,
                        IEEE80211_FC0_SUBTYPE_MASK);
                gen_not(b1);
-               b2 = gen_mcmp(OR_LINK, 0, BPF_B, IEEE80211_FC0_SUBTYPE_ACK,
+               b2 = gen_mcmp(OR_LINKHDR, 0, BPF_B, IEEE80211_FC0_SUBTYPE_ACK,
                        IEEE80211_FC0_SUBTYPE_MASK);
                gen_not(b2);
                gen_and(b1, b2);
@@ -4344,7 +4310,7 @@ gen_wlanhostop(eaddr, dir)
                 * is a management frame.
                 * I.e, check "(link[0] & 0x08)".
                 */
-               s = gen_load_a(OR_LINK, 0, BPF_B);
+               s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                b1 = new_block(JMP(BPF_JSET));
                b1->s.k = 0x08;
                b1->stmts = s;
@@ -4358,7 +4324,7 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * Check addr2.
                 */
-               b1 = gen_bcmp(OR_LINK, 10, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 10, 6, eaddr);
                gen_and(b2, b1);
                return b1;
 
@@ -4366,24 +4332,24 @@ gen_wlanhostop(eaddr, dir)
         * XXX - add BSSID keyword?
         */
        case Q_ADDR1:
-               return (gen_bcmp(OR_LINK, 4, 6, eaddr));
+               return (gen_bcmp(OR_LINKHDR, 4, 6, eaddr));
 
        case Q_ADDR2:
                /*
                 * Not present in CTS or ACK control frames.
                 */
-               b0 = gen_mcmp(OR_LINK, 0, BPF_B, IEEE80211_FC0_TYPE_CTL,
+               b0 = gen_mcmp(OR_LINKHDR, 0, BPF_B, IEEE80211_FC0_TYPE_CTL,
                        IEEE80211_FC0_TYPE_MASK);
                gen_not(b0);
-               b1 = gen_mcmp(OR_LINK, 0, BPF_B, IEEE80211_FC0_SUBTYPE_CTS,
+               b1 = gen_mcmp(OR_LINKHDR, 0, BPF_B, IEEE80211_FC0_SUBTYPE_CTS,
                        IEEE80211_FC0_SUBTYPE_MASK);
                gen_not(b1);
-               b2 = gen_mcmp(OR_LINK, 0, BPF_B, IEEE80211_FC0_SUBTYPE_ACK,
+               b2 = gen_mcmp(OR_LINKHDR, 0, BPF_B, IEEE80211_FC0_SUBTYPE_ACK,
                        IEEE80211_FC0_SUBTYPE_MASK);
                gen_not(b2);
                gen_and(b1, b2);
                gen_or(b0, b2);
-               b1 = gen_bcmp(OR_LINK, 10, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 10, 6, eaddr);
                gen_and(b2, b1);
                return b1;
 
@@ -4391,10 +4357,10 @@ gen_wlanhostop(eaddr, dir)
                /*
                 * Not present in control frames.
                 */
-               b0 = gen_mcmp(OR_LINK, 0, BPF_B, IEEE80211_FC0_TYPE_CTL,
+               b0 = gen_mcmp(OR_LINKHDR, 0, BPF_B, IEEE80211_FC0_TYPE_CTL,
                        IEEE80211_FC0_TYPE_MASK);
                gen_not(b0);
-               b1 = gen_bcmp(OR_LINK, 16, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 16, 6, eaddr);
                gen_and(b0, b1);
                return b1;
 
@@ -4405,9 +4371,9 @@ gen_wlanhostop(eaddr, dir)
                 * frames should have both of those set, so we don't
                 * check the frame type.
                 */
-               b0 = gen_mcmp(OR_LINK, 1, BPF_B,
+               b0 = gen_mcmp(OR_LINKHDR, 1, BPF_B,
                        IEEE80211_FC1_DIR_DSTODS, IEEE80211_FC1_DIR_MASK);
-               b1 = gen_bcmp(OR_LINK, 24, 6, eaddr);
+               b1 = gen_bcmp(OR_LINKHDR, 24, 6, eaddr);
                gen_and(b0, b1);
                return b1;
 
@@ -4442,10 +4408,10 @@ gen_ipfchostop(eaddr, dir)
 
        switch (dir) {
        case Q_SRC:
-               return gen_bcmp(OR_LINK, 10, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 10, 6, eaddr);
 
        case Q_DST:
-               return gen_bcmp(OR_LINK, 2, 6, eaddr);
+               return gen_bcmp(OR_LINKHDR, 2, 6, eaddr);
 
        case Q_AND:
                b0 = gen_ipfchostop(eaddr, Q_SRC);
@@ -4550,25 +4516,25 @@ gen_dnhostop(addr, dir)
        }
        b0 = gen_linktype(ETHERTYPE_DN);
        /* Check for pad = 1, long header case */
-       tmp = gen_mcmp(OR_NET, 2, BPF_H,
+       tmp = gen_mcmp(OR_LINKPL, 2, BPF_H,
            (bpf_int32)ntohs(0x0681), (bpf_int32)ntohs(0x07FF));
-       b1 = gen_cmp(OR_NET, 2 + 1 + offset_lh,
+       b1 = gen_cmp(OR_LINKPL, 2 + 1 + offset_lh,
            BPF_H, (bpf_int32)ntohs((u_short)addr));
        gen_and(tmp, b1);
        /* Check for pad = 0, long header case */
-       tmp = gen_mcmp(OR_NET, 2, BPF_B, (bpf_int32)0x06, (bpf_int32)0x7);
-       b2 = gen_cmp(OR_NET, 2 + offset_lh, BPF_H, (bpf_int32)ntohs((u_short)addr));
+       tmp = gen_mcmp(OR_LINKPL, 2, BPF_B, (bpf_int32)0x06, (bpf_int32)0x7);
+       b2 = gen_cmp(OR_LINKPL, 2 + offset_lh, BPF_H, (bpf_int32)ntohs((u_short)addr));
        gen_and(tmp, b2);
        gen_or(b2, b1);
        /* Check for pad = 1, short header case */
-       tmp = gen_mcmp(OR_NET, 2, BPF_H,
+       tmp = gen_mcmp(OR_LINKPL, 2, BPF_H,
            (bpf_int32)ntohs(0x0281), (bpf_int32)ntohs(0x07FF));
-       b2 = gen_cmp(OR_NET, 2 + 1 + offset_sh, BPF_H, (bpf_int32)ntohs((u_short)addr));
+       b2 = gen_cmp(OR_LINKPL, 2 + 1 + offset_sh, BPF_H, (bpf_int32)ntohs((u_short)addr));
        gen_and(tmp, b2);
        gen_or(b2, b1);
        /* Check for pad = 0, short header case */
-       tmp = gen_mcmp(OR_NET, 2, BPF_B, (bpf_int32)0x02, (bpf_int32)0x7);
-       b2 = gen_cmp(OR_NET, 2 + offset_sh, BPF_H, (bpf_int32)ntohs((u_short)addr));
+       tmp = gen_mcmp(OR_LINKPL, 2, BPF_B, (bpf_int32)0x02, (bpf_int32)0x7);
+       b2 = gen_cmp(OR_LINKPL, 2 + offset_sh, BPF_H, (bpf_int32)ntohs((u_short)addr));
        gen_and(tmp, b2);
        gen_or(b2, b1);
 
@@ -4592,17 +4558,17 @@ gen_mpls_linktype(proto)
 
         case Q_IP:
                 /* match the bottom-of-stack bit */
-                b0 = gen_mcmp(OR_NET, -2, BPF_B, 0x01, 0x01);
+                b0 = gen_mcmp(OR_LINKPL, -2, BPF_B, 0x01, 0x01);
                 /* match the IPv4 version number */
-                b1 = gen_mcmp(OR_NET, 0, BPF_B, 0x40, 0xf0);
+                b1 = gen_mcmp(OR_LINKPL, 0, BPF_B, 0x40, 0xf0);
                 gen_and(b0, b1);
                 return b1;
 
        case Q_IPV6:
                 /* match the bottom-of-stack bit */
-                b0 = gen_mcmp(OR_NET, -2, BPF_B, 0x01, 0x01);
+                b0 = gen_mcmp(OR_LINKPL, -2, BPF_B, 0x01, 0x01);
                 /* match the IPv4 version number */
-                b1 = gen_mcmp(OR_NET, 0, BPF_B, 0x60, 0xf0);
+                b1 = gen_mcmp(OR_LINKPL, 0, BPF_B, 0x60, 0xf0);
                 gen_and(b0, b1);
                 return b1;
 
@@ -4888,7 +4854,10 @@ gen_gateway(eaddr, alist, proto, dir)
                case DLT_EN10MB:
                case DLT_NETANALYZER:
                case DLT_NETANALYZER_TRANSPARENT:
+                       b1 = gen_prevlinkhdr_check();
                        b0 = gen_ehostop(eaddr, Q_OR);
+                       if (b1 != NULL)
+                               gen_and(b1, b0);
                        break;
                case DLT_FDDI:
                        b0 = gen_fhostop(eaddr, Q_OR);
@@ -4904,23 +4873,13 @@ gen_gateway(eaddr, alist, proto, dir)
                        b0 = gen_wlanhostop(eaddr, Q_OR);
                        break;
                case DLT_SUNATM:
-                       if (!is_lane)
-                               bpf_error(
-                                   "'gateway' supported only on ethernet/FDDI/token ring/802.11/ATM LANE/Fibre Channel");
                        /*
-                        * Check that the packet doesn't begin with an
-                        * LE Control marker.  (We've already generated
-                        * a test for LANE.)
+                        * This is LLC-multiplexed traffic; if it were
+                        * LANE, linktype would have been set to
+                        * DLT_EN10MB.
                         */
-                       b1 = gen_cmp(OR_LINK, SUNATM_PKT_BEGIN_POS,
-                           BPF_H, 0xFF00);
-                       gen_not(b1);
-
-                       /*
-                        * Now check the MAC address.
-                        */
-                       b0 = gen_ehostop(eaddr, Q_OR);
-                       gen_and(b1, b0);
+                       bpf_error(
+                           "'gateway' supported only on ethernet/FDDI/token ring/802.11/ATM LANE/Fibre Channel");
                        break;
                case DLT_IP_OVER_FC:
                        b0 = gen_ipfchostop(eaddr, Q_OR);
@@ -5193,7 +5152,7 @@ gen_ipfrag()
        struct block *b;
 
        /* not IPv4 frag other than the first frag */
-       s = gen_load_a(OR_NET, 6, BPF_H);
+       s = gen_load_a(OR_LINKPL, 6, BPF_H);
        b = new_block(JMP(BPF_JSET));
        b->s.k = 0x1fff;
        b->stmts = s;
@@ -5234,7 +5193,7 @@ gen_portop(port, proto, dir)
        struct block *b0, *b1, *tmp;
 
        /* ip proto 'proto' and not a fragment other than the first fragment */
-       tmp = gen_cmp(OR_NET, 9, BPF_B, (bpf_int32)proto);
+       tmp = gen_cmp(OR_LINKPL, 9, BPF_B, (bpf_int32)proto);
        b0 = gen_ipfrag();
        gen_and(tmp, b0);
 
@@ -5325,7 +5284,7 @@ gen_portop6(port, proto, dir)
 
        /* ip6 proto 'proto' */
        /* XXX - catch the first fragment of a fragmented packet? */
-       b0 = gen_cmp(OR_NET, 6, BPF_B, (bpf_int32)proto);
+       b0 = gen_cmp(OR_LINKPL, 6, BPF_B, (bpf_int32)proto);
 
        switch (dir) {
        case Q_SRC:
@@ -5426,7 +5385,7 @@ gen_portrangeop(port1, port2, proto, dir)
        struct block *b0, *b1, *tmp;
 
        /* ip proto 'proto' and not a fragment other than the first fragment */
-       tmp = gen_cmp(OR_NET, 9, BPF_B, (bpf_int32)proto);
+       tmp = gen_cmp(OR_LINKPL, 9, BPF_B, (bpf_int32)proto);
        b0 = gen_ipfrag();
        gen_and(tmp, b0);
 
@@ -5529,7 +5488,7 @@ gen_portrangeop6(port1, port2, proto, dir)
 
        /* ip6 proto 'proto' */
        /* XXX - catch the first fragment of a fragmented packet? */
-       b0 = gen_cmp(OR_NET, 6, BPF_B, (bpf_int32)proto);
+       b0 = gen_cmp(OR_LINKPL, 6, BPF_B, (bpf_int32)proto);
 
        switch (dir) {
        case Q_SRC:
@@ -5666,7 +5625,7 @@ gen_protochain(v, proto, dir)
        int reg2 = alloc_reg();
 
        memset(s, 0, sizeof(s));
-       fix2 = fix3 = fix4 = fix5 = 0;
+       fix3 = fix4 = fix5 = 0;
 
        switch (proto) {
        case Q_IP:
@@ -5693,15 +5652,8 @@ gen_protochain(v, proto, dir)
         * branches, and backward branch support is unlikely to appear
         * in kernel BPF engines.)
         */
-       switch (linktype) {
-
-       case DLT_IEEE802_11:
-       case DLT_PRISM_HEADER:
-       case DLT_IEEE802_11_RADIO_AVS:
-       case DLT_IEEE802_11_RADIO:
-       case DLT_PPI:
-               bpf_error("'protochain' not supported with 802.11");
-       }
+       if (off_linkpl.is_variable)
+               bpf_error("'protochain' not supported with variable length headers");
 
        no_optimize = 1; /*this code is not compatible with optimzer yet */
 
@@ -5720,11 +5672,11 @@ gen_protochain(v, proto, dir)
 
                /* A = ip->ip_p */
                s[i] = new_stmt(BPF_LD|BPF_ABS|BPF_B);
-               s[i]->s.k = off_macpl + off_nl + 9;
+               s[i]->s.k = off_linkpl.constant_part + off_nl + 9;
                i++;
                /* X = ip->ip_hl << 2 */
                s[i] = new_stmt(BPF_LDX|BPF_MSH|BPF_B);
-               s[i]->s.k = off_macpl + off_nl;
+               s[i]->s.k = off_linkpl.constant_part + off_nl;
                i++;
                break;
 
@@ -5733,7 +5685,7 @@ gen_protochain(v, proto, dir)
 
                /* A = ip6->ip_nxt */
                s[i] = new_stmt(BPF_LD|BPF_ABS|BPF_B);
-               s[i]->s.k = off_macpl + off_nl + 6;
+               s[i]->s.k = off_linkpl.constant_part + off_nl + 6;
                i++;
                /* X = sizeof(struct ip6_hdr) */
                s[i] = new_stmt(BPF_LDX|BPF_IMM);
@@ -5809,7 +5761,7 @@ gen_protochain(v, proto, dir)
                 */
                /* A = P[X + packet head] */
                s[i] = new_stmt(BPF_LD|BPF_IND|BPF_B);
-               s[i]->s.k = off_macpl + off_nl;
+               s[i]->s.k = off_linkpl.constant_part + off_nl;
                i++;
                /* MEM[reg2] = A */
                s[i] = new_stmt(BPF_ST);
@@ -5817,7 +5769,7 @@ gen_protochain(v, proto, dir)
                i++;
                /* A = P[X + packet head + 1]; */
                s[i] = new_stmt(BPF_LD|BPF_IND|BPF_B);
-               s[i]->s.k = off_macpl + off_nl + 1;
+               s[i]->s.k = off_linkpl.constant_part + off_nl + 1;
                i++;
                /* A += 1 */
                s[i] = new_stmt(BPF_ALU|BPF_ADD|BPF_K);
@@ -5878,7 +5830,7 @@ gen_protochain(v, proto, dir)
        i++;
        /* A = P[X + packet head]; */
        s[i] = new_stmt(BPF_LD|BPF_IND|BPF_B);
-       s[i]->s.k = off_macpl + off_nl;
+       s[i]->s.k = off_linkpl.constant_part + off_nl;
        i++;
        /* MEM[reg2] = A */
        s[i] = new_stmt(BPF_ST);
@@ -5896,7 +5848,7 @@ gen_protochain(v, proto, dir)
        i++;
        /* A = P[X + packet head] */
        s[i] = new_stmt(BPF_LD|BPF_IND|BPF_B);
-       s[i]->s.k = off_macpl + off_nl;
+       s[i]->s.k = off_linkpl.constant_part + off_nl;
        i++;
        /* A += 2 */
        s[i] = new_stmt(BPF_ALU|BPF_ADD|BPF_K);
@@ -5960,12 +5912,12 @@ gen_check_802_11_data_frame()
         * A data frame has the 0x08 bit (b3) in the frame control field set
         * and the 0x04 bit (b2) clear.
         */
-       s = gen_load_a(OR_LINK, 0, BPF_B);
+       s = gen_load_a(OR_LINKHDR, 0, BPF_B);
        b0 = new_block(JMP(BPF_JSET));
        b0->s.k = 0x08;
        b0->stmts = s;
 
-       s = gen_load_a(OR_LINK, 0, BPF_B);
+       s = gen_load_a(OR_LINKHDR, 0, BPF_B);
        b1 = new_block(JMP(BPF_JSET));
        b1->s.k = 0x04;
        b1->stmts = s;
@@ -6024,7 +5976,7 @@ gen_proto(v, proto, dir)
                 */
                b0 = gen_linktype(ETHERTYPE_IP);
 #ifndef CHASE_CHAIN
-               b1 = gen_cmp(OR_NET, 9, BPF_B, (bpf_int32)v);
+               b1 = gen_cmp(OR_LINKPL, 9, BPF_B, (bpf_int32)v);
 #else
                b1 = gen_protochain(v, Q_IP);
 #endif
@@ -6053,7 +6005,7 @@ gen_proto(v, proto, dir)
                         *
                         * XXX - what about SNAP-encapsulated frames?
                         */
-                       return gen_cmp(OR_LINK, 2, BPF_H, (0x03<<8) | v);
+                       return gen_cmp(OR_LINKHDR, 2, BPF_H, (0x03<<8) | v);
                        /*NOTREACHED*/
                        break;
 
@@ -6064,13 +6016,13 @@ gen_proto(v, proto, dir)
                         */
                        b0 = gen_linktype(LLCSAP_ISONS<<8 | LLCSAP_ISONS);
                        /* OSI in C-HDLC is stuffed with a fudge byte */
-                       b1 = gen_cmp(OR_NET_NOSNAP, 1, BPF_B, (long)v);
+                       b1 = gen_cmp(OR_LINKPL_NOSNAP, 1, BPF_B, (long)v);
                        gen_and(b0, b1);
                        return b1;
 
                default:
                        b0 = gen_linktype(LLCSAP_ISONS);
-                       b1 = gen_cmp(OR_NET_NOSNAP, 0, BPF_B, (long)v);
+                       b1 = gen_cmp(OR_LINKPL_NOSNAP, 0, BPF_B, (long)v);
                        gen_and(b0, b1);
                        return b1;
                }
@@ -6081,7 +6033,7 @@ gen_proto(v, proto, dir)
                 * 4 is the offset of the PDU type relative to the IS-IS
                 * header.
                 */
-               b1 = gen_cmp(OR_NET_NOSNAP, 4, BPF_B, (long)v);
+               b1 = gen_cmp(OR_LINKPL_NOSNAP, 4, BPF_B, (long)v);
                gen_and(b0, b1);
                return b1;
 
@@ -6163,10 +6115,10 @@ gen_proto(v, proto, dir)
                 * Also check for a fragment header before the final
                 * header.
                 */
-               b2 = gen_cmp(OR_NET, 6, BPF_B, IPPROTO_FRAGMENT);
-               b1 = gen_cmp(OR_NET, 40, BPF_B, (bpf_int32)v);
+               b2 = gen_cmp(OR_LINKPL, 6, BPF_B, IPPROTO_FRAGMENT);
+               b1 = gen_cmp(OR_LINKPL, 40, BPF_B, (bpf_int32)v);
                gen_and(b2, b1);
-               b2 = gen_cmp(OR_NET, 6, BPF_B, (bpf_int32)v);
+               b2 = gen_cmp(OR_LINKPL, 6, BPF_B, (bpf_int32)v);
                gen_or(b2, b1);
 #else
                b1 = gen_protochain(v, Q_IPV6);
@@ -6251,7 +6203,10 @@ gen_scode(name, q)
                                if (eaddr == NULL)
                                        bpf_error(
                                            "unknown ether host '%s'", name);
+                               tmp = gen_prevlinkhdr_check();
                                b = gen_ehostop(eaddr, dir);
+                               if (tmp != NULL)
+                                       gen_and(tmp, b);
                                free(eaddr);
                                return b;
 
@@ -6294,28 +6249,6 @@ gen_scode(name, q)
                                b = gen_ipfchostop(eaddr, dir);
                                free(eaddr);
                                return b;
-
-                       case DLT_SUNATM:
-                               if (!is_lane)
-                                       break;
-
-                               /*
-                                * Check that the packet doesn't begin
-                                * with an LE Control marker.  (We've
-                                * already generated a test for LANE.)
-                                */
-                               tmp = gen_cmp(OR_LINK, SUNATM_PKT_BEGIN_POS,
-                                   BPF_H, 0xFF00);
-                               gen_not(tmp);
-
-                               eaddr = pcap_ether_hostton(name);
-                               if (eaddr == NULL)
-                                       bpf_error(
-                                           "unknown ether host '%s'", name);
-                               b = gen_ehostop(eaddr, dir);
-                               gen_and(tmp, b);
-                               free(eaddr);
-                               return b;
                        }
 
                        bpf_error("only ethernet/FDDI/token ring/802.11/ATM LANE/Fibre Channel supports link-level host name");
@@ -6332,7 +6265,8 @@ gen_scode(name, q)
                        if (alist == NULL || *alist == NULL)
                                bpf_error("unknown host '%s'", name);
                        tproto = proto;
-                       if (off_linktype == (u_int)-1 && tproto == Q_DEFAULT)
+                       if (off_linktype.constant_part == (u_int)-1 &&
+                           tproto == Q_DEFAULT)
                                tproto = Q_IP;
                        b = gen_host(**alist++, 0xffffffff, tproto, dir, q.addr);
                        while (*alist) {
@@ -6350,7 +6284,8 @@ gen_scode(name, q)
                        ai = res;
                        b = tmp = NULL;
                        tproto = tproto6 = proto;
-                       if (off_linktype == -1 && tproto == Q_DEFAULT) {
+                       if (off_linktype.constant_part == -1 &&
+                           tproto == Q_DEFAULT) {
                                tproto = Q_IP;
                                tproto6 = Q_IPV6;
                        }
@@ -6752,7 +6687,11 @@ gen_ecode(eaddr, q)
                case DLT_EN10MB:
                case DLT_NETANALYZER:
                case DLT_NETANALYZER_TRANSPARENT:
-                       return gen_ehostop(eaddr, (int)q.dir);
+                       tmp = gen_prevlinkhdr_check();
+                       b = gen_ehostop(eaddr, (int)q.dir);
+                       if (tmp != NULL)
+                               gen_and(tmp, b);
+                       return b;
                case DLT_FDDI:
                        return gen_fhostop(eaddr, (int)q.dir);
                case DLT_IEEE802:
@@ -6763,25 +6702,6 @@ gen_ecode(eaddr, q)
                case DLT_IEEE802_11_RADIO:
                case DLT_PPI:
                        return gen_wlanhostop(eaddr, (int)q.dir);
-               case DLT_SUNATM:
-                       if (is_lane) {
-                               /*
-                                * Check that the packet doesn't begin with an
-                                * LE Control marker.  (We've already generated
-                                * a test for LANE.)
-                                */
-                               tmp = gen_cmp(OR_LINK, SUNATM_PKT_BEGIN_POS, BPF_H,
-                                       0xFF00);
-                               gen_not(tmp);
-
-                               /*
-                                * Now check the MAC address.
-                                */
-                               b = gen_ehostop(eaddr, (int)q.dir);
-                               gen_and(tmp, b);
-                               return b;
-                       }
-                       break;
                case DLT_IP_OVER_FC:
                        return gen_ipfchostop(eaddr, (int)q.dir);
                default:
@@ -6905,7 +6825,7 @@ gen_load(proto, inst, size)
                 * frame, so that 0 refers, for Ethernet LANE, to
                 * the beginning of the destination address?
                 */
-               s = gen_llprefixlen();
+               s = gen_abs_offset_varpart(&off_linkhdr);
 
                /*
                 * If "s" is non-null, it has code to arrange that the
@@ -6931,7 +6851,7 @@ gen_load(proto, inst, size)
                 * into the X register and then added to the index).
                 */
                tmp = new_stmt(BPF_LD|BPF_IND|size);
-               tmp->s.k = off_ll;
+               tmp->s.k = off_linkhdr.constant_part;
                sappend(s, tmp);
                sappend(inst->s, s);
                break;
@@ -6952,16 +6872,16 @@ gen_load(proto, inst, size)
                 * XXX - are there any cases where we want
                 * off_nl_nosnap?
                 */
-               s = gen_off_macpl();
+               s = gen_abs_offset_varpart(&off_linkpl);
 
                /*
                 * If "s" is non-null, it has code to arrange that the
-                * X register contains the offset of the MAC-layer
-                * payload.  Add to it the offset computed into the
-                * register specified by "index", and move that into
-                * the X register.  Otherwise, just load into the X
-                * register the offset computed into the register specified
-                * by "index".
+                * X register contains the variable part of the offset
+                * of the link-layer payload.  Add to it the offset
+                * computed into the register specified by "index",
+                * and move that into the X register.  Otherwise, just
+                * load into the X register the offset computed into
+                * the register specified by "index".
                 */
                if (s != NULL) {
                        sappend(s, xfer_to_a(inst));
@@ -6973,17 +6893,12 @@ gen_load(proto, inst, size)
                /*
                 * Load the item at the sum of the offset we've put in the
                 * X register, the offset of the start of the network
-                * layer header from the beginning of the MAC-layer
-                * payload, and the purported offset of the start of the
-                * MAC-layer payload (which might be 0 if there's a
-                * variable-length prefix before the link-layer header
-                * or the link-layer header itself is variable-length;
-                * the variable-length offset of the start of the
-                * MAC-layer payload is what we put into the X register
-                * and then added to the index).
+                * layer header from the beginning of the link-layer
+                * payload, and the constant part of the offset of the
+                * start of the link-layer payload.
                 */
                tmp = new_stmt(BPF_LD|BPF_IND|size);
-               tmp->s.k = off_macpl + off_nl;
+               tmp->s.k = off_linkpl.constant_part + off_nl;
                sappend(s, tmp);
                sappend(inst->s, s);
 
@@ -7023,26 +6938,24 @@ gen_load(proto, inst, size)
                s = gen_loadx_iphdrlen();
 
                /*
-                * The X register now contains the sum of the length
-                * of any variable-length header preceding the link-layer
-                * header, any variable-length link-layer header, and the
+                * The X register now contains the sum of the variable
+                * part of the offset of the link-layer payload and the
                 * length of the network-layer header.
                 *
                 * Load into the A register the offset relative to
                 * the beginning of the transport layer header,
                 * add the X register to that, move that to the
                 * X register, and load with an offset from the
-                * X register equal to the offset of the network
-                * layer header relative to the beginning of
-                * the MAC-layer payload plus the fixed-length
-                * portion of the offset of the MAC-layer payload
-                * from the beginning of the raw packet data.
+                * X register equal to the sum of the constant part of
+                * the offset of the link-layer payload and the offset,
+                * relative to the beginning of the link-layer payload,
+                * of the network-layer header.
                 */
                sappend(s, xfer_to_a(inst));
                sappend(s, new_stmt(BPF_ALU|BPF_ADD|BPF_X));
                sappend(s, new_stmt(BPF_MISC|BPF_TAX));
                sappend(s, tmp = new_stmt(BPF_LD|BPF_IND|size));
-               tmp->s.k = off_macpl + off_nl;
+               tmp->s.k = off_linkpl.constant_part + off_nl;
                sappend(inst->s, s);
 
                /*
@@ -7178,6 +7091,17 @@ gen_arth(code, a0, a1)
 {
        struct slist *s0, *s1, *s2;
 
+       /*
+        * Disallow division by, or modulus by, zero; we do this here
+        * so that it gets done even if the optimizer is disabled.
+        */
+       if (code == BPF_DIV) {
+               if (a1->s->s.code == (BPF_LD|BPF_IMM) && a1->s->s.k == 0)
+                       bpf_error("division by zero");
+       } else if (code == BPF_MOD) {
+               if (a1->s->s.code == (BPF_LD|BPF_IMM) && a1->s->s.k == 0)
+                       bpf_error("modulus by zero");
+       }
        s0 = xfer_to_x(a1);
        s1 = xfer_to_a(a0);
        s2 = new_stmt(BPF_ALU|BPF_X|code);
@@ -7305,14 +7229,14 @@ gen_byteop(op, idx, val)
                abort();
 
        case '=':
-               return gen_cmp(OR_LINK, (u_int)idx, BPF_B, (bpf_int32)val);
+               return gen_cmp(OR_LINKHDR, (u_int)idx, BPF_B, (bpf_int32)val);
 
        case '<':
-               b = gen_cmp_lt(OR_LINK, (u_int)idx, BPF_B, (bpf_int32)val);
+               b = gen_cmp_lt(OR_LINKHDR, (u_int)idx, BPF_B, (bpf_int32)val);
                return b;
 
        case '>':
-               b = gen_cmp_gt(OR_LINK, (u_int)idx, BPF_B, (bpf_int32)val);
+               b = gen_cmp_gt(OR_LINKHDR, (u_int)idx, BPF_B, (bpf_int32)val);
                return b;
 
        case '|':
@@ -7352,7 +7276,11 @@ gen_broadcast(proto)
                case DLT_EN10MB:
                case DLT_NETANALYZER:
                case DLT_NETANALYZER_TRANSPARENT:
-                       return gen_ehostop(ebroadcast, Q_DST);
+                       b1 = gen_prevlinkhdr_check();
+                       b0 = gen_ehostop(ebroadcast, Q_DST);
+                       if (b1 != NULL)
+                               gen_and(b1, b0);
+                       return b0;
                case DLT_FDDI:
                        return gen_fhostop(ebroadcast, Q_DST);
                case DLT_IEEE802:
@@ -7365,25 +7293,6 @@ gen_broadcast(proto)
                        return gen_wlanhostop(ebroadcast, Q_DST);
                case DLT_IP_OVER_FC:
                        return gen_ipfchostop(ebroadcast, Q_DST);
-               case DLT_SUNATM:
-                       if (is_lane) {
-                               /*
-                                * Check that the packet doesn't begin with an
-                                * LE Control marker.  (We've already generated
-                                * a test for LANE.)
-                                */
-                               b1 = gen_cmp(OR_LINK, SUNATM_PKT_BEGIN_POS,
-                                   BPF_H, 0xFF00);
-                               gen_not(b1);
-
-                               /*
-                                * Now check the MAC address.
-                                */
-                               b0 = gen_ehostop(ebroadcast, Q_DST);
-                               gen_and(b1, b0);
-                               return b0;
-                       }
-                       break;
                default:
                        bpf_error("not a broadcast link");
                }
@@ -7399,8 +7308,8 @@ gen_broadcast(proto)
                        bpf_error("netmask not known, so 'ip broadcast' not supported");
                b0 = gen_linktype(ETHERTYPE_IP);
                hostmask = ~netmask;
-               b1 = gen_mcmp(OR_NET, 16, BPF_W, (bpf_int32)0, hostmask);
-               b2 = gen_mcmp(OR_NET, 16, BPF_W,
+               b1 = gen_mcmp(OR_LINKPL, 16, BPF_W, (bpf_int32)0, hostmask);
+               b2 = gen_mcmp(OR_LINKPL, 16, BPF_W,
                              (bpf_int32)(~0 & hostmask), hostmask);
                gen_or(b1, b2);
                gen_and(b0, b2);
@@ -7423,7 +7332,7 @@ gen_mac_multicast(offset)
        register struct slist *s;
 
        /* link[offset] & 1 != 0 */
-       s = gen_load_a(OR_LINK, offset, BPF_B);
+       s = gen_load_a(OR_LINKHDR, offset, BPF_B);
        b0 = new_block(JMP(BPF_JSET));
        b0->s.k = 1;
        b0->stmts = s;
@@ -7449,8 +7358,12 @@ gen_multicast(proto)
                case DLT_EN10MB:
                case DLT_NETANALYZER:
                case DLT_NETANALYZER_TRANSPARENT:
+                       b1 = gen_prevlinkhdr_check();
                        /* ether[0] & 1 != 0 */
-                       return gen_mac_multicast(0);
+                       b0 = gen_mac_multicast(0);
+                       if (b1 != NULL)
+                               gen_and(b1, b0);
+                       return b0;
                case DLT_FDDI:
                        /*
                         * XXX TEST THIS: MIGHT NOT PORT PROPERLY XXX
@@ -7488,7 +7401,7 @@ gen_multicast(proto)
                         *
                         * First, check for To DS set, i.e. "link[1] & 0x01".
                         */
-                       s = gen_load_a(OR_LINK, 1, BPF_B);
+                       s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                        b1 = new_block(JMP(BPF_JSET));
                        b1->s.k = 0x01; /* To DS */
                        b1->stmts = s;
@@ -7503,7 +7416,7 @@ gen_multicast(proto)
                         * Now, check for To DS not set, i.e. check
                         * "!(link[1] & 0x01)".
                         */
-                       s = gen_load_a(OR_LINK, 1, BPF_B);
+                       s = gen_load_a(OR_LINKHDR, 1, BPF_B);
                        b2 = new_block(JMP(BPF_JSET));
                        b2->s.k = 0x01; /* To DS */
                        b2->stmts = s;
@@ -7525,7 +7438,7 @@ gen_multicast(proto)
                         * Now check for a data frame.
                         * I.e, check "link[0] & 0x08".
                         */
-                       s = gen_load_a(OR_LINK, 0, BPF_B);
+                       s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                        b1 = new_block(JMP(BPF_JSET));
                        b1->s.k = 0x08;
                        b1->stmts = s;
@@ -7540,7 +7453,7 @@ gen_multicast(proto)
                         * is a management frame.
                         * I.e, check "!(link[0] & 0x08)".
                         */
-                       s = gen_load_a(OR_LINK, 0, BPF_B);
+                       s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                        b2 = new_block(JMP(BPF_JSET));
                        b2->s.k = 0x08;
                        b2->stmts = s;
@@ -7567,7 +7480,7 @@ gen_multicast(proto)
                         *
                         * I.e., check "!(link[0] & 0x04)".
                         */
-                       s = gen_load_a(OR_LINK, 0, BPF_B);
+                       s = gen_load_a(OR_LINKHDR, 0, BPF_B);
                        b1 = new_block(JMP(BPF_JSET));
                        b1->s.k = 0x04;
                        b1->stmts = s;
@@ -7582,23 +7495,6 @@ gen_multicast(proto)
                case DLT_IP_OVER_FC:
                        b0 = gen_mac_multicast(2);
                        return b0;
-               case DLT_SUNATM:
-                       if (is_lane) {
-                               /*
-                                * Check that the packet doesn't begin with an
-                                * LE Control marker.  (We've already generated
-                                * a test for LANE.)
-                                */
-                               b1 = gen_cmp(OR_LINK, SUNATM_PKT_BEGIN_POS,
-                                   BPF_H, 0xFF00);
-                               gen_not(b1);
-
-                               /* ether[off_mac] & 1 != 0 */
-                               b0 = gen_mac_multicast(off_mac);
-                               gen_and(b1, b0);
-                               return b0;
-                       }
-                       break;
                default:
                        break;
                }
@@ -7607,13 +7503,13 @@ gen_multicast(proto)
 
        case Q_IP:
                b0 = gen_linktype(ETHERTYPE_IP);
-               b1 = gen_cmp_ge(OR_NET, 16, BPF_B, (bpf_int32)224);
+               b1 = gen_cmp_ge(OR_LINKPL, 16, BPF_B, (bpf_int32)224);
                gen_and(b0, b1);
                return b1;
 
        case Q_IPV6:
                b0 = gen_linktype(ETHERTYPE_IPV6);
-               b1 = gen_cmp(OR_NET, 24, BPF_B, (bpf_int32)255);
+               b1 = gen_cmp(OR_LINKPL, 24, BPF_B, (bpf_int32)255);
                gen_and(b0, b1);
                return b1;
        }
@@ -7651,16 +7547,16 @@ gen_inbound(dir)
        case DLT_IPNET:
                if (dir) {
                        /* match outgoing packets */
-                       b0 = gen_cmp(OR_LINK, 2, BPF_H, IPNET_OUTBOUND);
+                       b0 = gen_cmp(OR_LINKHDR, 2, BPF_H, IPNET_OUTBOUND);
                } else {
                        /* match incoming packets */
-                       b0 = gen_cmp(OR_LINK, 2, BPF_H, IPNET_INBOUND);
+                       b0 = gen_cmp(OR_LINKHDR, 2, BPF_H, IPNET_INBOUND);
                }
                break;
 
        case DLT_LINUX_SLL:
                /* match outgoing packets */
-               b0 = gen_cmp(OR_LINK, 0, BPF_H, LINUX_SLL_OUTGOING);
+               b0 = gen_cmp(OR_LINKHDR, 0, BPF_H, LINUX_SLL_OUTGOING);
                if (!dir) {
                        /* to filter on inbound traffic, invert the match */
                        gen_not(b0);
@@ -7669,7 +7565,7 @@ gen_inbound(dir)
 
 #ifdef HAVE_NET_PFVAR_H
        case DLT_PFLOG:
-               b0 = gen_cmp(OR_LINK, offsetof(struct pfloghdr, dir), BPF_B,
+               b0 = gen_cmp(OR_LINKHDR, offsetof(struct pfloghdr, dir), BPF_B,
                    (bpf_int32)((dir == 0) ? PF_IN : PF_OUT));
                break;
 #endif
@@ -7677,10 +7573,10 @@ gen_inbound(dir)
        case DLT_PPP_PPPD:
                if (dir) {
                        /* match outgoing packets */
-                       b0 = gen_cmp(OR_LINK, 0, BPF_B, PPP_PPPD_OUT);
+                       b0 = gen_cmp(OR_LINKHDR, 0, BPF_B, PPP_PPPD_OUT);
                } else {
                        /* match incoming packets */
-                       b0 = gen_cmp(OR_LINK, 0, BPF_B, PPP_PPPD_IN);
+                       b0 = gen_cmp(OR_LINKHDR, 0, BPF_B, PPP_PPPD_IN);
                }
                break;
 
@@ -7711,10 +7607,10 @@ gen_inbound(dir)
                 * the byte after the 3-byte magic number */
                if (dir) {
                        /* match outgoing packets */
-                       b0 = gen_mcmp(OR_LINK, 3, BPF_B, 0, 0x01);
+                       b0 = gen_mcmp(OR_LINKHDR, 3, BPF_B, 0, 0x01);
                } else {
                        /* match incoming packets */
-                       b0 = gen_mcmp(OR_LINK, 3, BPF_B, 1, 0x01);
+                       b0 = gen_mcmp(OR_LINKHDR, 3, BPF_B, 1, 0x01);
                }
                break;
 
@@ -7739,7 +7635,7 @@ gen_inbound(dir)
                        /* NOTREACHED */
                }
                /* match outgoing packets */
-               b0 = gen_cmp(OR_LINK, SKF_AD_OFF + SKF_AD_PKTTYPE, BPF_H,
+               b0 = gen_cmp(OR_LINKHDR, SKF_AD_OFF + SKF_AD_PKTTYPE, BPF_H,
                             PACKET_OUTGOING);
                if (!dir) {
                        /* to filter on inbound traffic, invert the match */
@@ -7774,7 +7670,7 @@ gen_pf_ifname(const char *ifname)
                    len-1);
                /* NOTREACHED */
        }
-       b0 = gen_bcmp(OR_LINK, off, strlen(ifname), (const u_char *)ifname);
+       b0 = gen_bcmp(OR_LINKHDR, off, strlen(ifname), (const u_char *)ifname);
        return (b0);
 }
 
@@ -7795,7 +7691,7 @@ gen_pf_ruleset(char *ruleset)
                /* NOTREACHED */
        }
 
-       b0 = gen_bcmp(OR_LINK, offsetof(struct pfloghdr, ruleset),
+       b0 = gen_bcmp(OR_LINKHDR, offsetof(struct pfloghdr, ruleset),
            strlen(ruleset), (const u_char *)ruleset);
        return (b0);
 }
@@ -7811,7 +7707,7 @@ gen_pf_rnr(int rnr)
                /* NOTREACHED */
        }
 
-       b0 = gen_cmp(OR_LINK, offsetof(struct pfloghdr, rulenr), BPF_W,
+       b0 = gen_cmp(OR_LINKHDR, offsetof(struct pfloghdr, rulenr), BPF_W,
                 (bpf_int32)rnr);
        return (b0);
 }
@@ -7827,7 +7723,7 @@ gen_pf_srnr(int srnr)
                /* NOTREACHED */
        }
 
-       b0 = gen_cmp(OR_LINK, offsetof(struct pfloghdr, subrulenr), BPF_W,
+       b0 = gen_cmp(OR_LINKHDR, offsetof(struct pfloghdr, subrulenr), BPF_W,
            (bpf_int32)srnr);
        return (b0);
 }
@@ -7843,7 +7739,7 @@ gen_pf_reason(int reason)
                /* NOTREACHED */
        }
 
-       b0 = gen_cmp(OR_LINK, offsetof(struct pfloghdr, reason), BPF_B,
+       b0 = gen_cmp(OR_LINKHDR, offsetof(struct pfloghdr, reason), BPF_B,
            (bpf_int32)reason);
        return (b0);
 }
@@ -7859,7 +7755,7 @@ gen_pf_action(int action)
                /* NOTREACHED */
        }
 
-       b0 = gen_cmp(OR_LINK, offsetof(struct pfloghdr, action), BPF_B,
+       b0 = gen_cmp(OR_LINKHDR, offsetof(struct pfloghdr, action), BPF_B,
            (bpf_int32)action);
        return (b0);
 }
@@ -7925,7 +7821,7 @@ gen_p80211_type(int type, int mask)
        case DLT_PRISM_HEADER:
        case DLT_IEEE802_11_RADIO_AVS:
        case DLT_IEEE802_11_RADIO:
-               b0 = gen_mcmp(OR_LINK, 0, BPF_B, (bpf_int32)type,
+               b0 = gen_mcmp(OR_LINKHDR, 0, BPF_B, (bpf_int32)type,
                    (bpf_int32)mask);
                break;
 
@@ -7955,7 +7851,7 @@ gen_p80211_fcdir(int fcdir)
                /* NOTREACHED */
        }
 
-       b0 = gen_mcmp(OR_LINK, 1, BPF_B, (bpf_int32)fcdir,
+       b0 = gen_mcmp(OR_LINKHDR, 1, BPF_B, (bpf_int32)fcdir,
                (bpf_u_int32)IEEE80211_FC1_DIR_MASK);
 
        return (b0);
@@ -7998,10 +7894,10 @@ gen_ahostop(eaddr, dir)
        switch (dir) {
        /* src comes first, different from Ethernet */
        case Q_SRC:
-               return gen_bcmp(OR_LINK, 0, 1, eaddr);
+               return gen_bcmp(OR_LINKHDR, 0, 1, eaddr);
 
        case Q_DST:
-               return gen_bcmp(OR_LINK, 1, 1, eaddr);
+               return gen_bcmp(OR_LINKHDR, 1, 1, eaddr);
 
        case Q_AND:
                b0 = gen_ahostop(eaddr, Q_SRC);
@@ -8082,23 +7978,33 @@ gen_vlan_no_bpf_extensions(int vlan_num)
         struct block *b0, *b1;
 
         /* check for VLAN, including QinQ */
-        b0 = gen_cmp(OR_LINK, off_linktype, BPF_H,
-                     (bpf_int32)ETHERTYPE_8021Q);
-        b1 = gen_cmp(OR_LINK, off_linktype, BPF_H,
-                     (bpf_int32)ETHERTYPE_8021QINQ);
+        b0 = gen_linktype(ETHERTYPE_8021Q);
+        b1 = gen_linktype(ETHERTYPE_8021AD);
+        gen_or(b0,b1);
+        b0 = b1;
+        b1 = gen_linktype(ETHERTYPE_8021QINQ);
         gen_or(b0,b1);
         b0 = b1;
 
         /* If a specific VLAN is requested, check VLAN id */
         if (vlan_num >= 0) {
-                b1 = gen_mcmp(OR_MACPL, 0, BPF_H,
+                b1 = gen_mcmp(OR_LINKPL, 0, BPF_H,
                               (bpf_int32)vlan_num, 0x0fff);
                 gen_and(b0, b1);
                 b0 = b1;
         }
 
-        off_macpl += 4;
-        off_linktype += 4;
+       /*
+        * The payload follows the full header, including the
+        * VLAN tags, so skip past this VLAN tag.
+        */
+        off_linkpl.constant_part += 4;
+
+       /*
+        * The link-layer type information follows the VLAN tags, so
+        * skip past this VLAN tag.
+        */
+        off_linktype.constant_part += 4;
 
         return b0;
 }
@@ -8153,7 +8059,11 @@ gen_vlan(vlan_num)
        case DLT_NETANALYZER:
        case DLT_NETANALYZER_TRANSPARENT:
 #if defined(SKF_AD_VLAN_TAG) && defined(SKF_AD_VLAN_TAG_PRESENT)
-               if (vlan_stack_depth == 0) {
+               /* Verify that this is the outer part of the packet and
+                * not encapsulated somehow. */
+               if (vlan_stack_depth == 0 && !off_linkhdr.is_variable &&
+                   off_linkhdr.constant_part ==
+                   off_outermostlinkhdr.constant_part) {
                        /*
                         * Do we need special VLAN handling?
                         */
@@ -8165,6 +8075,14 @@ gen_vlan(vlan_num)
 #endif
                        b0 = gen_vlan_no_bpf_extensions(vlan_num);
                 break;
+
+       case DLT_IEEE802_11:
+       case DLT_PRISM_HEADER:
+       case DLT_IEEE802_11_RADIO_AVS:
+       case DLT_IEEE802_11_RADIO:
+               b0 = gen_vlan_no_bpf_extensions(vlan_num);
+               break;
+
        default:
                bpf_error("no VLAN support for data link type %d",
                      linktype);
@@ -8187,7 +8105,7 @@ gen_mpls(label_num)
 
         if (label_stack_depth > 0) {
             /* just match the bottom-of-stack bit clear */
-            b0 = gen_mcmp(OR_MACPL, off_nl-2, BPF_B, 0, 0x01);
+            b0 = gen_mcmp(OR_PREVMPLSHDR, 2, BPF_B, 0, 0x01);
         } else {
             /*
              * We're not in an MPLS stack yet, so check the link-layer
@@ -8222,7 +8140,7 @@ gen_mpls(label_num)
        /* If a specific MPLS label is requested, check it */
        if (label_num >= 0) {
                label_num = label_num << 12; /* label is shifted 12 bits on the wire */
-               b1 = gen_mcmp(OR_MACPL, off_nl, BPF_W, (bpf_int32)label_num,
+               b1 = gen_mcmp(OR_LINKPL, 0, BPF_W, (bpf_int32)label_num,
                    0xfffff000); /* only compare the first 20 bits */
                gen_and(b0, b1);
                b0 = b1;
@@ -8271,14 +8189,12 @@ gen_pppoes(sess_num)
 
        /* If a specific session is requested, check PPPoE session id */
        if (sess_num >= 0) {
-               b1 = gen_mcmp(OR_MACPL, off_nl, BPF_W,
+               b1 = gen_mcmp(OR_LINKPL, 0, BPF_W,
                    (bpf_int32)sess_num, 0x0000ffff);
                gen_and(b0, b1);
                b0 = b1;
        }
 
-       is_pppoes = 1;
-
        /*
         * Change the offsets to point to the type and data fields within
         * the PPP packet, and note that this is PPPoE rather than
@@ -8318,15 +8234,309 @@ gen_pppoes(sess_num)
         * link-layer payload, including any 802.2 LLC header, so
         * it's 6 bytes past off_nl.
         */
-       off_linktype = off_nl + 6;
+       PUSH_LINKHDR(DLT_PPP, off_linkpl.is_variable,
+           off_linkpl.constant_part + off_nl + 6, /* 6 bytes past the PPPoE header */
+           off_linkpl.reg);
 
-       /*
-        * The network-layer offsets are relative to the beginning
-        * of the MAC-layer payload; that's past the 6-byte
-        * PPPoE header and the 2-byte PPP header.
-        */
-       off_nl = 6+2;
-       off_nl_nosnap = 6+2;
+       off_linktype = off_linkhdr;
+       off_linkpl.constant_part = off_linkhdr.constant_part + 2;
+
+       off_nl = 0;
+       off_nl_nosnap = 0;      /* no 802.2 LLC */
+
+       return b0;
+}
+
+/* Check that this is Geneve and the VNI is correct if
+ * specified. Parameterized to handle both IPv4 and IPv6. */
+static struct block *
+gen_geneve_check(struct block *(*gen_portfn)(int, int, int),
+                enum e_offrel offrel, int vni)
+{
+       struct block *b0, *b1;
+
+       b0 = gen_portfn(GENEVE_PORT, IPPROTO_UDP, Q_DST);
+
+       /* Check that we are operating on version 0. Otherwise, we
+        * can't decode the rest of the fields. The version is 2 bits
+        * in the first byte of the Geneve header. */
+       b1 = gen_mcmp(offrel, 8, BPF_B, (bpf_int32)0, 0xc0);
+       gen_and(b0, b1);
+       b0 = b1;
+
+       if (vni >= 0) {
+               vni <<= 8; /* VNI is in the upper 3 bytes */
+               b1 = gen_mcmp(offrel, 12, BPF_W, (bpf_int32)vni,
+                             0xffffff00);
+               gen_and(b0, b1);
+               b0 = b1;
+       }
+
+       return b0;
+}
+
+/* The IPv4 and IPv6 Geneve checks need to do two things:
+ * - Verify that this actually is Geneve with the right VNI.
+ * - Place the IP header length (plus variable link prefix if
+ *   needed) into register A to be used later to compute
+ *   the inner packet offsets. */
+static struct block *
+gen_geneve4(int vni)
+{
+       struct block *b0, *b1;
+       struct slist *s, *s1;
+
+       b0 = gen_geneve_check(gen_port, OR_TRAN_IPV4, vni);
+
+       /* Load the IP header length into A. */
+       s = gen_loadx_iphdrlen();
+
+       s1 = new_stmt(BPF_MISC|BPF_TXA);
+       sappend(s, s1);
+
+       /* Forcibly append these statements to the true condition
+        * of the protocol check by creating a new block that is
+        * always true and ANDing them. */
+       b1 = new_block(BPF_JMP|BPF_JEQ|BPF_X);
+       b1->stmts = s;
+       b1->s.k = 0;
+
+       gen_and(b0, b1);
+
+       return b1;
+}
+
+static struct block *
+gen_geneve6(int vni)
+{
+       struct block *b0, *b1;
+       struct slist *s, *s1;
+
+       b0 = gen_geneve_check(gen_port6, OR_TRAN_IPV6, vni);
+
+       /* Load the IP header length. We need to account for a
+        * variable length link prefix if there is one. */
+       s = gen_abs_offset_varpart(&off_linkpl);
+       if (s) {
+               s1 = new_stmt(BPF_LD|BPF_IMM);
+               s1->s.k = 40;
+               sappend(s, s1);
+
+               s1 = new_stmt(BPF_ALU|BPF_ADD|BPF_X);
+               s1->s.k = 0;
+               sappend(s, s1);
+       } else {
+               s = new_stmt(BPF_LD|BPF_IMM);
+               s->s.k = 40;
+       }
+
+       /* Forcibly append these statements to the true condition
+        * of the protocol check by creating a new block that is
+        * always true and ANDing them. */
+       s1 = new_stmt(BPF_MISC|BPF_TAX);
+       sappend(s, s1);
+
+       b1 = new_block(BPF_JMP|BPF_JEQ|BPF_X);
+       b1->stmts = s;
+       b1->s.k = 0;
+
+       gen_and(b0, b1);
+
+       return b1;
+}
+
+/* We need to store three values based on the Geneve header::
+ * - The offset of the linktype.
+ * - The offset of the end of the Geneve header.
+ * - The offset of the end of the encapsulated MAC header. */
+static struct slist *
+gen_geneve_offsets(void)
+{
+       struct slist *s, *s1, *s_proto;
+
+       /* First we need to calculate the offset of the Geneve header
+        * itself. This is composed of the IP header previously calculated
+        * (include any variable link prefix) and stored in A plus the
+        * fixed sized headers (fixed link prefix, MAC length, and UDP
+        * header). */
+       s = new_stmt(BPF_ALU|BPF_ADD|BPF_K);
+       s->s.k = off_linkpl.constant_part + off_nl + 8;
+
+       /* Stash this in X since we'll need it later. */
+       s1 = new_stmt(BPF_MISC|BPF_TAX);
+       sappend(s, s1);
+
+       /* The EtherType in Geneve is 2 bytes in. Calculate this and
+        * store it. */
+       s1 = new_stmt(BPF_ALU|BPF_ADD|BPF_K);
+       s1->s.k = 2;
+       sappend(s, s1);
+
+       off_linktype.reg = alloc_reg();
+       off_linktype.is_variable = 1;
+       off_linktype.constant_part = 0;
+
+       s1 = new_stmt(BPF_ST);
+       s1->s.k = off_linktype.reg;
+       sappend(s, s1);
+
+       /* Load the Geneve option length and mask and shift to get the
+        * number of bytes. It is stored in the first byte of the Geneve
+        * header. */
+       s1 = new_stmt(BPF_LD|BPF_IND|BPF_B);
+       s1->s.k = 0;
+       sappend(s, s1);
+
+       s1 = new_stmt(BPF_ALU|BPF_AND|BPF_K);
+       s1->s.k = 0x3f;
+       sappend(s, s1);
+
+       s1 = new_stmt(BPF_ALU|BPF_MUL|BPF_K);
+       s1->s.k = 4;
+       sappend(s, s1);
+
+       /* Add in the rest of the Geneve base header. */
+       s1 = new_stmt(BPF_ALU|BPF_ADD|BPF_K);
+       s1->s.k = 8;
+       sappend(s, s1);
+
+       /* Add the Geneve header length to its offset and store. */
+       s1 = new_stmt(BPF_ALU|BPF_ADD|BPF_X);
+       s1->s.k = 0;
+       sappend(s, s1);
+
+       /* Set the encapsulated type as Ethernet. Even though we may
+        * not actually have Ethernet inside there are two reasons this
+        * is useful:
+        * - The linktype field is always in EtherType format regardless
+        *   of whether it is in Geneve or an inner Ethernet frame.
+        * - The only link layer that we have specific support for is
+        *   Ethernet. We will confirm that the packet actually is
+        *   Ethernet at runtime before executing these checks. */
+       PUSH_LINKHDR(DLT_EN10MB, 1, 0, alloc_reg());
+
+       s1 = new_stmt(BPF_ST);
+       s1->s.k = off_linkhdr.reg;
+       sappend(s, s1);
+
+       /* Calculate whether we have an Ethernet header or just raw IP/
+        * MPLS/etc. If we have Ethernet, advance the end of the MAC offset
+        * and linktype by 14 bytes so that the network header can be found
+        * seamlessly. Otherwise, keep what we've calculated already. */
+
+       /* We have a bare jmp so we can't use the optimizer. */
+       no_optimize = 1;
+
+       /* Load the EtherType in the Geneve header, 2 bytes in. */
+       s1 = new_stmt(BPF_LD|BPF_IND|BPF_H);
+       s1->s.k = 2;
+       sappend(s, s1);
+
+       /* Load X with the end of the Geneve header. */
+       s1 = new_stmt(BPF_LDX|BPF_MEM);
+       s1->s.k = off_linkhdr.reg;
+       sappend(s, s1);
+
+       /* Check if the EtherType is Transparent Ethernet Bridging. At the
+        * end of this check, we should have the total length in X. In
+        * the non-Ethernet case, it's already there. */
+       s_proto = new_stmt(JMP(BPF_JEQ));
+       s_proto->s.k = ETHERTYPE_TEB;
+       sappend(s, s_proto);
+
+       s1 = new_stmt(BPF_MISC|BPF_TXA);
+       sappend(s, s1);
+       s_proto->s.jt = s1;
+
+       /* Since this is Ethernet, use the EtherType of the payload
+        * directly as the linktype. Overwrite what we already have. */
+       s1 = new_stmt(BPF_ALU|BPF_ADD|BPF_K);
+       s1->s.k = 12;
+       sappend(s, s1);
+
+       s1 = new_stmt(BPF_ST);
+       s1->s.k = off_linktype.reg;
+       sappend(s, s1);
+
+       /* Advance two bytes further to get the end of the Ethernet
+        * header. */
+       s1 = new_stmt(BPF_ALU|BPF_ADD|BPF_K);
+       s1->s.k = 2;
+       sappend(s, s1);
+
+       /* Move the result to X. */
+       s1 = new_stmt(BPF_MISC|BPF_TAX);
+       sappend(s, s1);
+
+       /* Store the final result of our linkpl calculation. */
+       off_linkpl.reg = alloc_reg();
+       off_linkpl.is_variable = 1;
+       off_linkpl.constant_part = 0;
+
+       s1 = new_stmt(BPF_STX);
+       s1->s.k = off_linkpl.reg;
+       sappend(s, s1);
+       s_proto->s.jf = s1;
+
+       off_nl = 0;
+
+       return s;
+}
+
+/* Check to see if this is a Geneve packet. */
+struct block *
+gen_geneve(int vni)
+{
+       struct block *b0, *b1;
+       struct slist *s;
+
+       b0 = gen_geneve4(vni);
+       b1 = gen_geneve6(vni);
+
+       gen_or(b0, b1);
+       b0 = b1;
+
+       /* Later filters should act on the payload of the Geneve frame,
+        * update all of the header pointers. Attach this code so that
+        * it gets executed in the event that the Geneve filter matches. */
+       s = gen_geneve_offsets();
+
+       b1 = gen_true();
+       sappend(s, b1->stmts);
+       b1->stmts = s;
+
+       gen_and(b0, b1);
+
+       is_geneve = 1;
+
+       return b1;
+}
+
+/* Check that the encapsulated frame has a link layer header
+ * for Ethernet filters. */
+static struct block *
+gen_geneve_ll_check()
+{
+       struct block *b0;
+       struct slist *s, *s1;
+
+       /* The easiest way to see if there is a link layer present
+        * is to check if the link layer header and payload are not
+        * the same. */
+
+       /* Geneve always generates pure variable offsets so we can
+        * compare only the registers. */
+       s = new_stmt(BPF_LD|BPF_MEM);
+       s->s.k = off_linkhdr.reg;
+
+       s1 = new_stmt(BPF_LDX|BPF_MEM);
+       s1->s.k = off_linkpl.reg;
+       sappend(s, s1);
+
+       b0 = new_block(BPF_JMP|BPF_JEQ|BPF_X);
+       b0->stmts = s;
+       b0->s.k = 0;
+       gen_not(b0);
 
        return b0;
 }
@@ -8347,7 +8557,7 @@ gen_atmfield_code(atmfield, jvalue, jtype, reverse)
                        bpf_error("'vpi' supported only on raw ATM");
                if (off_vpi == (u_int)-1)
                        abort();
-               b0 = gen_ncmp(OR_LINK, off_vpi, BPF_B, 0xffffffff, jtype,
+               b0 = gen_ncmp(OR_LINKHDR, off_vpi, BPF_B, 0xffffffff, jtype,
                    reverse, jvalue);
                break;
 
@@ -8356,21 +8566,21 @@ gen_atmfield_code(atmfield, jvalue, jtype, reverse)
                        bpf_error("'vci' supported only on raw ATM");
                if (off_vci == (u_int)-1)
                        abort();
-               b0 = gen_ncmp(OR_LINK, off_vci, BPF_H, 0xffffffff, jtype,
+               b0 = gen_ncmp(OR_LINKHDR, off_vci, BPF_H, 0xffffffff, jtype,
                    reverse, jvalue);
                break;
 
        case A_PROTOTYPE:
                if (off_proto == (u_int)-1)
                        abort();        /* XXX - this isn't on FreeBSD */
-               b0 = gen_ncmp(OR_LINK, off_proto, BPF_B, 0x0f, jtype,
+               b0 = gen_ncmp(OR_LINKHDR, off_proto, BPF_B, 0x0f, jtype,
                    reverse, jvalue);
                break;
 
        case A_MSGTYPE:
                if (off_payload == (u_int)-1)
                        abort();
-               b0 = gen_ncmp(OR_LINK, off_payload + MSG_TYPE_POS, BPF_B,
+               b0 = gen_ncmp(OR_LINKHDR, off_payload + MSG_TYPE_POS, BPF_B,
                    0xffffffff, jtype, reverse, jvalue);
                break;
 
@@ -8379,7 +8589,7 @@ gen_atmfield_code(atmfield, jvalue, jtype, reverse)
                        bpf_error("'callref' supported only on raw ATM");
                if (off_proto == (u_int)-1)
                        abort();
-               b0 = gen_ncmp(OR_LINK, off_proto, BPF_B, 0xffffffff,
+               b0 = gen_ncmp(OR_LINKHDR, off_proto, BPF_B, 0xffffffff,
                    jtype, reverse, jvalue);
                break;
 
@@ -8463,16 +8673,13 @@ gen_atmtype_abbrev(type)
                 * the offsets appropriately for LANE-encapsulated
                 * Ethernet.
                 *
-                * "off_mac" is the offset of the Ethernet header,
-                * which is 2 bytes past the ATM pseudo-header
-                * (skipping the pseudo-header and 2-byte LE Client
-                * field).  The other offsets are Ethernet offsets
-                * relative to "off_mac".
-                */
-               is_lane = 1;
-               off_mac = off_payload + 2;      /* MAC header */
-               off_linktype = off_mac + 12;
-               off_macpl = off_mac + 14;       /* Ethernet */
+                * We assume LANE means Ethernet, not Token Ring.
+                */
+               PUSH_LINKHDR(DLT_EN10MB, 0,
+                   off_payload + 2,    /* Ethernet header */
+                   -1);
+               off_linktype.constant_part = off_linkhdr.constant_part + 12;
+               off_linkpl.constant_part = off_linkhdr.constant_part + 14;      /* Ethernet */
                off_nl = 0;                     /* Ethernet II */
                off_nl_nosnap = 3;              /* 802.3+802.2 */
                break;
@@ -8482,7 +8689,7 @@ gen_atmtype_abbrev(type)
                if (!is_atm)
                        bpf_error("'llc' supported only on raw ATM");
                b1 = gen_atmfield_code(A_PROTOTYPE, PT_LLC, BPF_JEQ, 0);
-               is_lane = 0;
+               linktype = prevlinktype;
                break;
 
        default: