test_pool/gic/hypervisor/test_hyp_g001.c
static
void
isr_mnt()
{
  uint32_t data;
  uint32_t index = val_pe_get_index_mpid(val_pe_get_mpid());

  /* We received our interrupt, so disable Maintenance interrupt from generating further interrupts */
  data = val_gic_reg_read(ICH_HCR_EL2);
  data &= ~0x7;
  val_gic_reg_write(ICH_HCR_EL2, data);

  val_set_status(index, RESULT_PASS(TEST_NUM, 1));
  val_print(ACS_PRINT_INFO, "\n       Received GIC maintenance interrupt ", 0);
  val_gic_end_of_interrupt(intid);

  return;
}
// Interrupt handler for the GIC Maintenance interrupt
Interrupt handler for the GIC Maintenance interrupt
Interrupt handler for the GIC Maintenance interrupt
static
void
isr_mnt()
{
  uint32_t data;
  uint32_t index = val_pe_get_index_mpid(val_pe_get_mpid());
  data = val_gic_reg_read(ICH_HCR_EL2);
  data &= ~0x7;
  val_gic_reg_write(ICH_HCR_EL2, data);
  val_set_status(index, RESULT_PASS(TEST_NUM, 1));
  val_print(ACS_PRINT_INFO, "\n       Received GIC maintenance interrupt ", 0);
  val_gic_end_of_interrupt(intid);
  return;
}
static void isr_mnt ( ) { uint32_t data ; uint32_t index = val_pe_get_index_mpid ( val_pe_get_mpid ( ) ) ; data = val_gic_reg_read ( ICH_HCR_EL2 ) ; data &= ~ 0x7 ; val_gic_reg_write ( ICH_HCR_EL2 , data ) ; val_set_status ( index , RESULT_PASS ( TEST_NUM , 1 ) ) ; val_print ( ACS_PRINT_INFO , " \n " , 0 ) ; val_gic_end_of_interrupt ( intid ) ; return ; }
Interrupt handler for the GIC Maintenance interrupt
Interrupt handler for the GIC Maintenance interrupt
/* We received our interrupt, so disable Maintenance interrupt from generating further interrupts */