MFEATURE_TLB_GUEST
DEFINE_MACHINE_HAS_FEATURE(tlb_guest, MFEATURE_TLB_GUEST)
set_machine_feature(MFEATURE_TLB_GUEST);