HomeSort by: relevance | last modified time | path
    Searched defs:kernel_physical_start (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/acorn32/stand/boot32/
boot32.c 122 u_long kernel_physical_start; /* where does it get relocated */ variable in typeref:typename:u_long
589 addr = (kernel_physical_start >> 20) + page;
723 bconfig->kernphysicalbase = kernel_physical_start;
831 kernel_physical_start = PODRAM_addr[0];
836 kernel_physical_start = DRAM_addr[0];
856 pv_offset = ((u_long)marks[MARK_START] - kernel_physical_start);
885 printf("\nStarting at 0x%lx, p@0x%lx\n", marks[MARK_ENTRY], kernel_physical_start);
boot32.c 122 u_long kernel_physical_start; /* where does it get relocated */ variable in typeref:typename:u_long
589 addr = (kernel_physical_start >> 20) + page;
723 bconfig->kernphysicalbase = kernel_physical_start;
831 kernel_physical_start = PODRAM_addr[0];
836 kernel_physical_start = DRAM_addr[0];
856 pv_offset = ((u_long)marks[MARK_START] - kernel_physical_start);
885 printf("\nStarting at 0x%lx, p@0x%lx\n", marks[MARK_ENTRY], kernel_physical_start);

Completed in 24 milliseconds