Use array_access_nospec() to prevent guest speculation.
Avoid double access of trap_causes[cause].
Suggested-by: Jan Beulich <jbeulich@suse.com>
Signed-off-by: Oleksii Kurochko <oleksii.kurochko@gmail.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
*/
#include <xen/lib.h>
+#include <xen/nospec.h>
#include <xen/sched.h>
#include <asm/processor.h>
[CAUSE_STORE_GUEST_PAGE_FAULT] = "Guest Store/AMO Page Fault",
};
- if ( cause < ARRAY_SIZE(trap_causes) && trap_causes[cause] )
- return trap_causes[cause];
- return "UNKNOWN";
+ const char *res = cause < ARRAY_SIZE(trap_causes)
+ ? array_access_nospec(trap_causes, cause)
+ : NULL;
+
+ return res ?: "UNKNOWN";
}
static const char *decode_reserved_interrupt_cause(unsigned long irq_cause)