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),
__exec((caddr_t)addr, RB_BOOTINFO | (opts & RBX_MASK),