On Mon, Feb 05, 2024 at 11:44:22 +0100, Tim Wiederhake wrote: > Use "0x%08x" as format for all values: > > sed \ > -e "s/'0x\(..\)'/'0x000000\\1'/g" \ > -e "s/'0x\(...\)'/'0x00000\\1'/g" > > Signed-off-by: Tim Wiederhake <twiederh@xxxxxxxxxx> > --- > src/cpu_map/x86_features.xml | 538 +++++++++++++++++------------------ > 1 file changed, 269 insertions(+), 269 deletions(-) Reviewed-by: Jiri Denemark <jdenemar@xxxxxxxxxx> _______________________________________________ Devel mailing list -- devel@xxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxx