x86/PSR: fix compilation error after 44f126d
authorHe Chen <he.chen@linux.intel.com>
Fri, 16 Oct 2015 15:43:19 +0000 (17:43 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 16 Oct 2015 15:43:19 +0000 (17:43 +0200)
commit73b3bf10b475f4f8f92aba9a9de9ac433e53ead5
treef73ab26ded8f31bda28ef665e7000cae76226202
parentc787425fdf2a4b42ffbff257123dfcb25528efbb
x86/PSR: fix compilation error after 44f126d

In non-debug build ASSERT_UNREACHABLE is nop and some compilers will
complain that cbm_code/cbm_data may be used uninitialized in function
psr_set_l3_cbm. Add return after ASSERT_UNREACHABLE to fix it.

Signed-off-by: He Chen <he.chen@linux.intel.com>
xen/arch/x86/psr.c