Home
last modified time | relevance | path

Searched refs:kernel_physical_start (Results 1 – 1 of 1) sorted by relevance

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