def is_iommu_page_table_type(type): return util.In(type, [ dt.page_type.PAGE_TYPE_IOMMU_PML4, dt.page_type.PAGE_TYPE_IOMMU_PDPT, dt.page_type.PAGE_TYPE_IOMMU_PD, dt.page_type.PAGE_TYPE_IOMMU_PT, ])
def is_status_live(status): return util.In(status, [ dt.proc_state.PROC_EMBRYO, dt.proc_state.PROC_RUNNABLE, dt.proc_state.PROC_RUNNING, dt.proc_state.PROC_SLEEPING, ])
def is_page_table_type(type): return util.In(type, [ dt.page_type.PAGE_TYPE_X86_PML4, dt.page_type.PAGE_TYPE_X86_PDPT, dt.page_type.PAGE_TYPE_X86_PD, dt.page_type.PAGE_TYPE_X86_PT, ])