Searched refs:cpu_data_paddr (Results 1 – 4 of 4) sorted by relevance
74 void *cpu_data_paddr; /* Cpu data physical address */ member
439 CpuDataEntries[master_cpu].cpu_data_paddr = (void *)((uintptr_t)(args->physBase) in arm_init()
775 CpuDataEntries[cpu_number].cpu_data_paddr = 0; in cpu_data_free()869 CpuDataEntries[cpu].cpu_data_paddr = (void *)ml_vtophys((vm_offset_t)cpu_data_ptr); in cpu_data_register()
288 DECLARE("CPU_DATA_PADDR", offsetof(struct cpu_data_entry, cpu_data_paddr)); in main()