Searched refs:cpu_data_paddr (Results 1 – 6 of 6) sorted by relevance
313 CpuDataEntries[cpu_number].cpu_data_paddr = 0; in cpu_data_free()402 CpuDataEntries[cpu].cpu_data_paddr = (void *)ml_vtophys((vm_offset_t)cpu_data_ptr); in cpu_data_register()
81 void *cpu_data_paddr; /* Cpu data physical address */ member
303 DECLARE("CPU_DATA_PADDR", offsetof(struct cpu_data_entry, cpu_data_paddr)); in main()
422 CpuDataEntries[master_cpu].cpu_data_paddr = (void *)((uintptr_t)(args->physBase) in arm_init()
788 CpuDataEntries[cpu_number].cpu_data_paddr = 0; in cpu_data_free()883 CpuDataEntries[cpu].cpu_data_paddr = (void *)ml_vtophys((vm_offset_t)cpu_data_ptr); in cpu_data_register()
282 DECLARE("CPU_DATA_PADDR", offsetof(struct cpu_data_entry, cpu_data_paddr)); in main()