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

/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/drivers/s390/cio/
H A Dchsc.c31 static void *sei_page; variable
405 if (!sei_page)
407 /* Access to sei_page is serialized through machine check handler
409 sei_area = sei_page;
819 sei_page = (void *)get_zeroed_page(GFP_KERNEL | GFP_DMA);
820 if (!sei_page) {
827 kfree(sei_page);
834 kfree(sei_page);

Completed in 53 milliseconds