kernframe
curcpu()->ci_nmi_stack = octeon_nmi_stack + sizeof(octeon_nmi_stack) - sizeof(struct kernframe);
ci->ci_nmi_stack = (void *)(kva + PAGE_SIZE - sizeof(struct kernframe));
CTASSERT(sizeof(struct kernframe) % (2*sizeof(mips_reg_t)) == 0);