Searched refs:PE_init_platform (Results 1 – 5 of 5) sorted by relevance
360 PE_init_platform(FALSE, args); /* Get platform expert set up */ in arm_init()568 PE_init_platform(TRUE, &BootCpuData); in arm_init()722 PE_init_platform(TRUE, NULL); in arm_init_cpu()
82 void PE_init_platform(
769 PE_init_platform(FALSE, kernelBootArgs); in vstart()1001 PE_init_platform(TRUE, kernelBootArgs); in i386_init()
203 PE_init_platform(boolean_t vm_initialized, void * _args) in PE_init_platform() function
387 PE_init_platform(boolean_t vm_initialized, void *args) in PE_init_platform() function