review.coreboot.org / coreboot / 3f01cd14533f12f04a87a9cf1111dd948094bac4 / src / arch / x86 / breakpoint.c