intel_posted_msi_init
static inline void intel_posted_msi_init(void) {};
void intel_posted_msi_init(void)