Searched refs:first_avail (Results 1 – 4 of 4) sorted by relevance
67 paddr_t first_avail; member141 paddr_t first_avail; in start_prekern() local148 first_avail = pkargs->first_avail; in start_prekern()152 init_x86_64(first_avail); in start_prekern()
1708 init_x86_64(paddr_t first_avail) in init_x86_64() 1722 KASSERT(first_avail % PAGE_SIZE == 0); in init_x86_64() 1790 avail_start = first_avail; in init_x86_64() 1682 init_x86_64(paddr_t first_avail) init_x86_64() argument
189 paddr_t first_avail; member221 pkargs.first_avail = pa_avail; in init_prekern_args()
1162 init386(paddr_t first_avail) in init386() argument1179 KASSERT(first_avail % PAGE_SIZE == 0); in init386()1236 avail_start = first_avail; in init386()