be32dec
uuid->time_low = be32dec(p);
(l) = be32dec(cp); \
device_printf(dev, "T2 SMC: %d keys\n", be32dec(buf));
sc->sc_nkeys = be32dec(buf);
v = be32dec(&buf[6]);
secs = be32dec(buf);
ts = be32dec(buf);
uuid->time_low = be32dec(p);
return (((__uint64_t)be32dec(p) << 32) | be32dec(p + 4));