Lines Matching defs:pointer
29 void boot_bsp_core(void *pointer, void *cpu_driver_entry,
167 * values here, which we'll detect by seeing that the multiboot pointer isn't
170 void *pointer;
219 * \param pointer address of \c multiboot_info on the BSP;
222 void boot_bsp_core(void *pointer, void *cpu_driver_entry,
230 /* If this pointer has been modified by the loader, it means we're got a
233 if(boot_arguments.pointer != (void *)0xdeadbeef) {
234 pointer= boot_arguments.pointer;
241 * the pointer back from the kernel-virtual address that the CPU driver
244 (struct multiboot_info *)mem_to_local_phys((lvaddr_t)pointer);
326 /* Relocate the boot data pointer for the CPU driver. */
361 __asm("mov r0, %[pointer]\n"
367 [pointer] "r"(boot_pointer)