Symbol: VCPU_STALL_REG_STATUS
drivers/misc/vcpu_stall_detector.c
106
vcpu_stall_reg_write(cpu, VCPU_STALL_REG_STATUS, 1);
drivers/misc/vcpu_stall_detector.c
133
vcpu_stall_reg_write(cpu, VCPU_STALL_REG_STATUS, 0);