Symbol: cmd_format_valid
sys/arm64/arm64/gicv3_its.c
2115
cmd_format_valid(cmd, desc->cmd_desc_mapd.valid);
sys/arm64/arm64/gicv3_its.c
2121
cmd_format_valid(cmd, desc->cmd_desc_mapc.valid);