XENVER_BOOT_IDX
#define XENVER_BOOT(m) (xenver[XENVER_BOOT_IDX].m)
if (idx == XENVER_BOOT_IDX)
bcopy(&xenver[XENVER_BOOT_IDX], &xenver[XENVER_CURRENT_IDX],
sizeof (xenver[XENVER_BOOT_IDX]));
xen_set_version(XENVER_BOOT_IDX);