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