#ifndef _X86_LINUX_PRIVATE_H
#define _X86_LINUX_PRIVATE_H

/* These are addresses within VGA_(blocking_syscall).  See syscall.S for details. */
extern const Word VGA_(blksys_setup);
extern const Word VGA_(blksys_restart);
extern const Word VGA_(blksys_complete);
extern const Word VGA_(blksys_committed);

#endif /* _X86_LINUX_PRIVATE_H */