xen_feature
KASSERT(xen_feature(XENFEAT_auto_translated_physmap),
XTREQUIRES(xen_feature(XENFEAT_hvm_safe_pvclock),
if (xen_feature(XENFEAT_hvm_callback_vector) != 0) {