atomic_readandclear_int
atomic_readandclear_int(&vlapic_vtx->pending_level[i]);
atomic_readandclear_int(&vlapic_vtx->pending_edge[i]);
atomic_readandclear_int(&pir_desc->pir[i]);