taglinefilesource code
kernel_address632arch/sparc/mm/sun4c.cint kernel_address = (address >= KERNBASE);
kernel_address633arch/sparc/mm/sun4c.cint user_address = !kernel_address;
kernel_address644arch/sparc/mm/sun4c.cif(kernel_address)
kernel_address667arch/sparc/mm/sun4c.cif(kernel_address)