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,
])