enable_drhd_fault_handling
.enable_faulting = enable_drhd_fault_handling,
extern int enable_drhd_fault_handling(unsigned int cpu);