RB_BOOTINFO
__exec((caddr_t)addr, RB_BOOTINFO | (opts & RBX_MASK),
__exec((caddr_t)addr, RB_BOOTINFO | (opts & RBX_MASK),
__exec((caddr_t)addr, RB_BOOTINFO | (opts & RBX_MASK),
__exec((caddr_t)addr, RB_BOOTINFO | (opts & RBX_MASK),
__exec((caddr_t)addr, RB_BOOTINFO | (opts & RBX_MASK),
*howtop = howto | RB_BOOTINFO;
*howtop = howto | RB_BOOTINFO;