INIT_HVC          310 arch/um/kernel/tlb.c 	hvc = INIT_HVC(mm, force, userspace);
INIT_HVC          349 arch/um/kernel/tlb.c 	hvc = INIT_HVC(mm, force, userspace);