XHCI_PAGE_SIZE
sizeof(struct xhci_hw_root), XHCI_PAGE_SIZE);
sizeof(struct xhci_dev_ctx_addr), XHCI_PAGE_SIZE);
XHCI_PAGE_SIZE, XHCI_PAGE_SIZE);
XHCI_EPCTX_4_AVG_TRB_LEN_SET(MIN(XHCI_PAGE_SIZE,
temp = XHCI_EPCTX_4_AVG_TRB_LEN_SET(XHCI_PAGE_SIZE);
sizeof(struct xhci_dev_ctx), XHCI_PAGE_SIZE))
sizeof(struct xhci_input_dev_ctx), XHCI_PAGE_SIZE)) {
CTASSERT(sizeof(struct xhci_hw_root) == XHCI_PAGE_SIZE);