tag	line	file	source code
virtaddr	3312	drivers/char/istallion.c	void  *virtaddr;
virtaddr	3319	drivers/char/istallion.c	if ((virtaddr = vmalloc(size)) == (char *) NULL) {
virtaddr	3323	drivers/char/istallion.c	if ((rc = remap_page_range((TASK_SIZE + ((unsigned long) virtaddr)), physaddr, size, PAGE_IOMEM))) {
virtaddr	3327	drivers/char/istallion.c	return(virtaddr);