IDSR_BUSY_BIT
IDSR_BUSY_BIT(i))) {
IDSR_BUSY_BIT(i))) {
IDSR_BUSY_BIT(i))) {
IDSR_BUSY_BIT(i))) {
IDSR_BUSY_BIT(i))) {
busymask = IDSR_BUSY_BIT(cpuid);
IDSR_BUSY_BIT(bn))) == 0) {
if ((idsr & IDSR_BUSY_BIT(bn)) == 0) {
IDSR_BUSY_BIT(bn))) == 0) {
IDSR_BUSY_BIT(bn))) == 0) {
if ((idsr & IDSR_BUSY_BIT(bn)) == 0) {
IDSR_BUSY_BIT(i))) {
IDSR_BUSY_BIT(i))) {
busymask = IDSR_BUSY_BIT(cpuid);