htole64
fadt.XFacs = htole64(0); /* patched by basl */
fadt.XDsdt = htole64(0); /* patched by basl */
mcfg_allocation.Address = htole64(pci_ecfg_base());
rsdp.XsdtPhysicalAddress = htole64(0); /* patched by basl */
gas->Address = htole64(address);
.Address = htole64(address),
extern uint64_t htole64(uint64_t);
copy = htole64(*val);
uint64_t u64 = htole64(req->sir_write);
test64 = htole64(val64);
ent30->smbe_staddr = htole64(P2ROUNDUP(sizeof (*ent30), 16));
fw->smbfwii_imgsz = htole64(smbios_fwinfo_size);
mem->smbmdev_nvsize = htole64(UINT64_MAX);
mem->smbmdev_volsize = htole64(UINT64_MAX);
mem->smbmdev_cachesize = htole64(UINT64_MAX);
mem->smbmdev_logicalsize = htole64(UINT64_MAX);
rv.smbpairv_isa = htole64(smbios_pinfo_isa);
proc->smbpr_cpuid = htole64(smbios_proc_cpuid);