The node you are looking for is at
gdbarch_push_dummy_code
.