XENVER_CURRENT_IDX
#define XENVER_CURRENT(m) (xenver[XENVER_CURRENT_IDX].m)
bcopy(&xenver[XENVER_BOOT_IDX], &xenver[XENVER_CURRENT_IDX],
xen_set_version(XENVER_CURRENT_IDX);