Symbol: boot_cpuid_phys
usr.bin/dtc/dtb.cc
276
out.write_data(boot_cpuid_phys);
usr.bin/dtc/dtb.cc
303
input.consume_binary(boot_cpuid_phys) &&
usr.bin/dtc/dtb.hh
302
uint32_t boot_cpuid_phys;
usr.bin/dtc/fdt.cc
1787
head.boot_cpuid_phys = boot_cpu;
usr.bin/dtc/fdt.cc
1859
boot_cpu = h.boot_cpuid_phys;