Searched refs:cpu_info_offset (Results 1 – 1 of 1) sorted by relevance
144 const vaddr_t cpu_info_offset = (vaddr_t)&cpu_info_store & PAGE_MASK; in cpu_info_alloc() local160 struct cpu_info * const ci = (void *) (va + cpu_info_offset); in cpu_info_alloc()169 if (cpu_info_offset >= sizeof(*ti)) { in cpu_info_alloc()172 KASSERT(PAGE_SIZE - cpu_info_offset + sizeof(*ci) >= sizeof(*ti)); in cpu_info_alloc()