Symbol: CMD_DEVID_SHIFT
sys/arm64/arm64/gicv3_its.c
121
#define CMD_DEVID_MASK (0xFFFFFFFFUL << CMD_DEVID_SHIFT)
sys/arm64/arm64/gicv3_its.c
1901
cmd->cmd_dword[0] |= htole64((uint64_t)devid << CMD_DEVID_SHIFT);