Symbol: cmd_format_id
sys/arm64/arm64/gicv3_its.c
2089
cmd_format_id(cmd, desc->cmd_desc_movi.id);
sys/arm64/arm64/gicv3_its.c
2128
cmd_format_id(cmd, desc->cmd_desc_mapvi.id);
sys/arm64/arm64/gicv3_its.c
2136
cmd_format_id(cmd, desc->cmd_desc_mapi.pid);
sys/arm64/arm64/gicv3_its.c
2143
cmd_format_id(cmd, desc->cmd_desc_inv.pid);