__aligned
} __aligned(CACHE_LINE_SIZE);
} __packed __aligned(2);
} __packed __aligned(4) wbuf;
} __packed __aligned(4) wbuf;
} __packed __aligned(4) wbuf;
} __packed __aligned(4) wbuf;
} __aligned(CACHE_LINE_SIZE);
} __aligned(CACHE_LINE_SIZE);
#define _Alignas(x) __aligned(x)
long sc_fpstate[64] __aligned(16);
int sc_fpstate[128] __aligned(16);
} __aligned(XHCI_DEV_CTX_ALIGN);
} __aligned(4);
static char packet[ETH_FRAME_LEN + ETH_DATA_ALIGN] __aligned(16);
static const double __vlibm_TBL_rhypotf[] __aligned(32) = {
} __aligned(2*sizeof(short));
__aligned(PQI_QUEUE_ELEMENT_ARRAY_ALIGNMENT)
__aligned(PQI_QUEUE_ELEMENT_ARRAY_ALIGNMENT)
__aligned(PQI_ADMIN_INDEX_ALIGNMENT) pqi_index_t iq_ci;
__aligned(PQI_ADMIN_INDEX_ALIGNMENT) pqi_index_t oq_pi;
#define __cacheline_aligned __aligned(_CACHE_LINE_SIZE)
static boot_framebuffer_t framebuffer __aligned(16);
struct xboot_info boot_info __aligned(16);
struct cpu cpus[1] __aligned(MMU_PAGESIZE);
static struct amdvi_dte amdvi_dte[PCI_NUM_DEV_MAX] __aligned(PAGE_SIZE);
} __aligned(PAGE_SIZE);
static struct msr_entry msr_load_list[1] __aligned(16);
} __aligned(64);
static uint64_t root_table[PAGE_SIZE / sizeof (uint64_t)] __aligned(4096);
static uint64_t ctx_tables[256][PAGE_SIZE / sizeof (uint64_t)] __aligned(4096);
} __aligned(16); /* 512 bytes */
} __aligned(64);