• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/kernel/arch/armv8/boot/

Lines Matching defs:pointer

35 void boot_bsp_init(uint32_t magic, lpaddr_t pointer, lpaddr_t stack)
100 void (*cpu_driver_entry)(uint32_t magic, lpaddr_t pointer, lpaddr_t stack);
447 static void drop_to_el2(uint32_t magic, lpaddr_t pointer, lpaddr_t stack)
449 /* write the stack pointer for EL1 */
456 eret(magic, pointer + KERNEL_OFFSET, stack + KERNEL_OFFSET, 0);
459 static void drop_to_el1(uint32_t magic, lpaddr_t pointer, lpaddr_t stack)
461 /* write the stack pointer for EL1 */
468 eret(magic, pointer + KERNEL_OFFSET, stack + KERNEL_OFFSET, 0);
471 static void jump_to_cpudriver(uint32_t magic, lpaddr_t pointer, lpaddr_t stack)
475 // we may need to re set the stack pointer
480 cpu_driver_entry(magic, pointer + KERNEL_OFFSET, stack + KERNEL_OFFSET);
500 Register x1 contains a pointer to multiboot image
501 Register x1 contains a pointer to top entry in the kernel stack
503 static void boot_generic_init(uint32_t magic, lpaddr_t pointer, lpaddr_t stack) {
529 drop_to_el2(magic, pointer, stack);
533 drop_to_el1(magic, pointer, stack);
536 jump_to_cpudriver(magic, pointer, stack);
546 * @param state pointer to the armv8_core_data structure
609 Register x1 contains a pointer to multiboot image
610 Register x1 contains a pointer to top entry in the kernel stack
613 boot_bsp_init(uint32_t magic, lpaddr_t pointer, lpaddr_t stack) {
624 * get the first entry in the multiboot structure, this holds a pointer
627 struct multiboot_header *mbhdr = (void *)pointer;
633 cpu_driver_entry = (void *)((struct multiboot_tag_efi64 *)mb)->pointer;
639 boot_generic_init(magic, pointer, stack);