Searched refs:sei_page (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/drivers/s390/cio/
H A Dchsc.c27 static void *sei_page; variable
476 if (!sei_page)
478 /* Access to sei_page is serialized through machine check handler
480 sei_area = sei_page;
995 sei_page = (void *)get_zeroed_page(GFP_KERNEL | GFP_DMA);
996 if (!sei_page)
999 return (sei_page ? 0 : -ENOMEM);

Completed in 44 milliseconds