#ifndef __x86_64_IPC_H__
#define __x86_64_IPC_H__

/* dummy */


#endif