VNCR_PAGE_SIZE - FreeBSD

494

return (round_page(sizeof(struct hypctx) + 2 * VNCR_PAGE_SIZE));

570

_Static_assert(sizeof(struct hypctx) < VNCR_PAGE_SIZE,

572

hypctx->vncr_regs = (void *)((char *)hypctx + VNCR_PAGE_SIZE);

573

hypctx->host_vncr_regs = (void *)((char *)hypctx + 2 * VNCR_PAGE_SIZE);

591

hypctx->el2_vncr_addr = hypctx->el2_addr + VNCR_PAGE_SIZE;

592

hypctx->el2_host_vncr_addr = hypctx->el2_addr + 2 * VNCR_PAGE_SIZE;