#ifndef _ASM_X86_64_CPUMASK_H
#define _ASM_X86_64_CPUMASK_H

#include <asm-generic/cpumask.h>

#endif /* _ASM_X86_64_CPUMASK_H */