def bpf_load.at

bend-osdev-bpf@0.1.0.0 · bpf.bend:105

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-bpf@0.1.0.0/insn.bend as I

105def bpf_load.at(order: I.BpfOrder, size: I.BpfSize, data: B.Octets, n: Nat) -> Maybe<&2, U32>:
106  match order:
107    case I.BpfBig{}:
108      match size:
109        case I.BpfW{}:
110          B.Octets.be32_at(data, n)
111        case I.BpfH{}:
112          B.Octets.be16_at(data, n)
113        case I.BpfB{}:
114          B.Octets.at(data, n)
115    case I.BpfLittle{}:
116      match size:
117        case I.BpfW{}:
118          B.Octets.le32_at(data, n)
119        case I.BpfH{}:
120          B.Octets.le16_at(data, n)
121        case I.BpfB{}:
122          B.Octets.at(data, n)