amd_brs_drain
void amd_brs_drain(void)
static inline void amd_brs_drain(void) {}
static inline void amd_brs_drain(void)