[rom] document 64-bit division symbol check

pamaury · luismarques · commit ced95fc7cc56 · 2026-05-21T12:12:05.000Z
Signed-off-by: Amaury Pouly &lt;amaury.pouly@opentitan.org&gt;
diff --git a/sw/device/silicon_creator/rom/BUILD b/sw/device/silicon_creator/rom/BUILD
@@ -240,6 +240,7 @@ opentitan_binary(
     ],
 )
 
+# 64-bit division is forbidden in the ROM (or needs to use udiv64_slow)
 check_elf_symbols_test(
     name = "mask_rom_symbol_check",
     forbidden = [

Original file line number	Diff line number	Diff line change
`@@ -240,6 +240,7 @@ opentitan_binary(`
`240`	`240`	`],`
`241`	`241`	`)`
`242`	`242`
	`243`	`+# 64-bit division is forbidden in the ROM (or needs to use udiv64_slow)`
`243`	`244`	`check_elf_symbols_test(`
`244`	`245`	`name = "mask_rom_symbol_check",`
`245`	`246`	`forbidden = [`