MIPS_KSEG0_START
if (va < MIPS_KSEG0_START) {
if (kva >= (void *)MIPS_KSEG0_START &&
if (bsh < MIPS_KSEG0_START) /* KUSEG */
if (end <= MIPS_KSEG1_START - MIPS_KSEG0_START) {
physmem = btoc(memsize - MIPS_KSEG0_START);
printf(">> Memory:\t\t%lu k\n", (memsize - MIPS_KSEG0_START) / 1024);
if (kva >= (void *)MIPS_KSEG0_START &&
mem = btoc((paddr_t)first - MIPS_KSEG0_START);
mips_page_physload(MIPS_KSEG0_START, (vaddr_t) kernend,
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
MIPS_KSEG0_START, (vaddr_t)kernend, &bonito_dmat);
MIPS_KSEG0_START, (vaddr_t)kernend, &bonito_dmat);
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
mips_page_physload(MIPS_KSEG0_START, (vaddr_t) kernend,
infop |= MIPS_KSEG0_START;
mips_page_physload(MIPS_KSEG0_START, (vaddr_t) kernend,
if (kva >= (void *)MIPS_KSEG0_START &&
if (kva >= (void *)MIPS_KSEG0_START &&
mem_clusters[0].size = (paddr_t) kernend - MIPS_KSEG0_START;
mem_clusters[1].start = (paddr_t) kernend - MIPS_KSEG0_START;
(*platform.mem_init)((paddr_t)kernend - MIPS_KSEG0_START);
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
memcpy((void *)MIPS_KSEG0_START, vr_hibernate,
((void (*)(void *,int))MIPS_KSEG0_START)(
(void *)MIPS_KSEG0_START, ptoa(physmem));
if (addr >= (void *)MIPS_KSEG0_START &&
t->_bounce_alloc_hi = MIPS_KSEG1_START - MIPS_KSEG0_START;
t->_wsize = MIPS_KSEG1_START - MIPS_KSEG0_START;
#define MIPS_PHYS_TO_KSEG0(x) ((intptr_t)((x) + MIPS_KSEG0_START))
#define MIPS_KSEG0_P(x) (((intptr_t)(x) & ~MIPS_PHYS_MASK) == MIPS_KSEG0_START)
(((intptr_t)(x) & 0xffffff) | MIPS_KSEG0_START)
mips_intern_pdcache_wbinv_range_index(MIPS_KSEG0_START,
mips_intern_sdcache_wbinv_range_index(MIPS_KSEG0_START,
mips_intern_icache_sync_range_index(MIPS_KSEG0_START,
mips_intern_pdcache_wbinv_range_index(MIPS_KSEG0_START,
mips_intern_sdcache_wbinv_range_index(MIPS_KSEG0_START,
mips_synci(MIPS_KSEG0_START);
mips_synci(MIPS_KSEG0_START);
mips_synci(MIPS_KSEG0_START);
mips_intern_icache_sync_range_index(MIPS_KSEG0_START,
mips_intern_pdcache_wbinv_range_index(MIPS_KSEG0_START,
mips_intern_pdcache_wbinv_range_index(MIPS_KSEG0_START,
0, MIPS_KSEG1_START - MIPS_KSEG0_START,
if (pc < MIPS_KSEG0_START)
if (instpc < MIPS_KSEG0_START) {
KASSERT(MIPS_KSEG0_START == (((intptr_t)start >> 28) << 28));
start = (uint32_t *)MIPS_KSEG0_START;
uint32_t * const start = (uint32_t *)MIPS_KSEG0_START;
if (v < MIPS_KSEG0_START) {
CTASSERT(MIPS_KSEG0_START < 0);
CTASSERT((uint32_t)MIPS_KSEG0_START == 0x80000000);
|| pmap_limits.avail_end > MIPS_KSEG1_START - MIPS_KSEG0_START
const paddr_t high = MIPS_KSEG1_START - MIPS_KSEG0_START;
if (kva >= (void *)MIPS_KSEG0_START &&
if (bsh < MIPS_KSEG0_START) /* KUSEG */
mem = btoc((paddr_t)first - MIPS_KSEG0_START);
#define MACH_IS_USPACE(x) ((unsigned int)(x) < MIPS_KSEG0_START)
if (kva >= (void *)MIPS_KSEG0_START &&
if (kva >= (void *)MIPS_KSEG0_START &&
if (kva >= (void *)MIPS_KSEG0_START &&
mips_page_physload(MIPS_KSEG0_START, (vaddr_t)kernend,
mem = btoc((paddr_t)first - MIPS_KSEG0_START);
mips_page_physload(MIPS_KSEG0_START, (vaddr_t) kernend,