Symbol: CMD_PID_SHIFT
sys/arm64/arm64/gicv3_its.c
128
#define CMD_PID_MASK (0xFFFFFFFFUL << CMD_PID_SHIFT)
sys/arm64/arm64/gicv3_its.c
1925
cmd->cmd_dword[1] |= htole64((uint64_t)pid << CMD_PID_SHIFT);