XENFB_WIDTH
XENFB_WIDTH);
static int ptr_size[KPARAM_CNT] = { XENFB_WIDTH, XENFB_HEIGHT };
video[KPARAM_WIDTH] = XENFB_WIDTH;
#define XENFB_DEFAULT_FB_LEN (XENFB_WIDTH * XENFB_HEIGHT * XENFB_DEPTH / 8)
static int video[KPARAM_CNT] = { 2, XENFB_WIDTH, XENFB_HEIGHT };