@@ -352,6 +352,9 @@ debian-12-ppc64le-gcc-debug:
CONTAINER: debian:12-ppc64le
KBUILD_DEFCONFIG: ppc64_defconfig
HYPERVISOR_ONLY: y
+ EXTRA_XEN_CONFIG: |
+ CONFIG_UBSAN=y
+ CONFIG_UBSAN_FATAL=y
debian-12-riscv64-gcc-debug:
extends: .gcc-riscv64-cross-build-debug
@@ -2,6 +2,7 @@ config PPC
def_bool y
select FUNCTION_ALIGNMENT_4B
select HAS_DEVICE_TREE
+ select HAS_UBSAN
select HAS_VMAP
config PPC64
@@ -219,6 +219,8 @@ static inline void noreturn die(void)
*/
#define cpu_relax() asm volatile ( "or %r1, %r1, %r1; or %r2, %r2, %r2" )
+#define dump_execution_state() run_in_exception_handler(show_execution_state)
+
#endif /* __ASSEMBLY__ */
#endif /* _ASM_PPC_PROCESSOR_H */
@@ -47,7 +47,7 @@ void send_timer_event(struct vcpu *v)
void show_execution_state(const struct cpu_user_regs *regs)
{
- BUG_ON("unimplemented");
+ printk("TODO: Implement show_execution_state(regs)\n");
}
void arch_hypercall_tasklet_result(struct vcpu *v, long res)