Searched refs:gen_entry (Results 1 - 9 of 9) sorted by relevance
| /barrelfish-master/kernel/include/arch/armv7/ |
| H A D | boot_protocol.h | 33 errval_t boot_aps(hwid_t target, genpaddr_t gen_entry, genpaddr_t context);
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | boot_protocol.c | 33 errval_t boot_aps(hwid_t target, genpaddr_t gen_entry, genpaddr_t context) argument
38 /* XXX - we're abusing the gen_entry pointer here. Change the interface
40 lpaddr_t new_core_data_ptr= (lpaddr_t)gen_entry;
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | plat_cn88xx.c | 99 errval_t platform_boot_core(hwid_t target, genpaddr_t gen_entry, genpaddr_t context) argument
101 printf("Invoking PSCI on: cpu=%lx, entry=%lx, context=%lx\n", target, gen_entry, context);
108 return psci_cpu_on(target, gen_entry, context);
|
| H A D | plat_imx8x.c | 107 errval_t platform_boot_core(hwid_t target, genpaddr_t gen_entry, genpaddr_t context) argument
109 printk(LOG_NOTE, "Invoking PSCI on: cpu=0x%lx, entry=0x%lx, context=0x%lx\n", target, gen_entry, context);
116 return psci_cpu_on(target, gen_entry, context);
|
| H A D | plat_qemu.c | 102 errval_t platform_boot_core(hwid_t target, genpaddr_t gen_entry, genpaddr_t context) argument
104 printf("Invoking PSCI on: cpu=0x%lx, entry=0x%lx, context=0x%lx\n", target, gen_entry, context);
111 return psci_cpu_on(target, gen_entry, context);
|
| H A D | plat_rpi3.c | 80 errval_t platform_boot_core(hwid_t target, genpaddr_t gen_entry, genpaddr_t context) argument
82 printf("Invoking PSCI on: cpu=0x%lx, entry=0x%lx, context=0x%lx\n", target, gen_entry, context);
89 return psci_cpu_on(target, gen_entry, context);
|
| H A D | plat_arm_vm.c | 49 errval_t platform_boot_core(hwid_t target, genpaddr_t gen_entry, genpaddr_t context) argument
|
| H A D | plat_apm88xxxx.c | 124 errval_t platform_boot_core(hwid_t target, genpaddr_t gen_entry, genpaddr_t context) argument
126 printf("Invoking PSCI on: cpu=0x%lx, entry=0x%lx, context=0x%lx\n", target, gen_entry, context);
|
| /barrelfish-master/kernel/include/arch/arm/ |
| H A D | platform.h | 62 errval_t platform_boot_core(hwid_t target, genpaddr_t gen_entry, genpaddr_t context);
|
Completed in 96 milliseconds