shared_info
if (mdb_ctf_vread(&shared_info, "shared_info_t", "mdb_shared_info_t",
return (!!TEST_EVTCHN_BIT(i, &shared_info.evtchn_mask[0]));
return (!!TEST_EVTCHN_BIT(i, &shared_info.evtchn_pending[0]));
static mdb_shared_info_t shared_info;
return (TEST_EVTCHN_BIT(i, &shared_info.evtchn_mask[0]) != 0);
return (TEST_EVTCHN_BIT(i, &shared_info.evtchn_pending[0]) != 0);
static mdb_shared_info_t shared_info;
if (mdb_ctf_vread(&shared_info, "shared_info_t", "mdb_shared_info_t",
typedef struct shared_info shared_info_t;
unsigned long shared_info; /* MACHINE address of shared info struct. */
pfn_t pfn = mmu_btop(xen_info->shared_info) | PFN_IS_FOREIGN_MFN;
pfn_t pfn = mmu_btop(xen_info->shared_info) | PFN_IS_FOREIGN_MFN;
xen_info->shared_info | PTE_BITS, UVMF_INVLPG | UVMF_LOCAL);
xen_info->shared_info | PT_NOCONSIST | PT_VALID | PT_WRITABLE,
kbm_map_ma(xen_info->shared_info, addr, 0);