/* Copyright (C) 2014 Stony Brook University
This file is part of Graphene Library OS.
Graphene Library OS is free software: you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public License
as published by the Free Software Foundation, either version 3 of the
License, or (at your option) any later version.
Graphene Library OS is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with this program. If not, see . */
/*
* gettimeofday-x86_64.S
*
* This file contains architecture-specific implementation of timing
* method.
* The source code is imported and modified from the GNU C Library.
*/
#include
#include "sysdep-x86_64.h"
/* For the calculation see asm/vsyscall.h. */
#define VSYSCALL_ADDR_vgettimeofday 0xffffffffff600000
.text
ENTRY (gettimeofday)
/* Align stack. */
sub $0x8, %rsp
cfi_adjust_cfa_offset(8)
movq $VSYSCALL_ADDR_vgettimeofday, %rax
callq *%rax
/* Check error return. */
/* cmpl $-4095, %eax */
/* jae SYSCALL_ERROR_LABEL */
pseudo_end:
add $0x8, %rsp
cfi_adjust_cfa_offset(-8)
ret
END(gettimeofday)