Searched refs:VSYSCALL_PAGE (Results 1 – 4 of 4) sorted by relevance
4 #define VSYSCALL_PAGE 0xffffffffff600000 macro10 printf("%ld\n", ((time_func)(VSYSCALL_PAGE + TIME_OFFSET))(NULL)); in main()
364 __set_fixmap(VSYSCALL_PAGE, physaddr_vsyscall, in map_vsyscall()372 BUILD_BUG_ON((unsigned long)__fix_to_virt(VSYSCALL_PAGE) != in map_vsyscall()
86 VSYSCALL_PAGE = (FIXADDR_TOP - VSYSCALL_ADDR) >> PAGE_SHIFT,
2040 case VSYSCALL_PAGE: in xen_set_fixmap()2081 if (idx == VSYSCALL_PAGE) in xen_set_fixmap()