Symbol: CMD_TARGET_MASK
sys/arm64/arm64/gicv3_its.c
1940
cmd->cmd_dword[2] &= htole64(~CMD_TARGET_MASK);
sys/arm64/arm64/gicv3_its.c
1941
cmd->cmd_dword[2] |= htole64(target & CMD_TARGET_MASK);