Sipeed MAIX BiT - machine.time_pulse_us

I wanted to use “machine.time_pulse_us” on a Sipeed MAIX BiT

It seems to newb me that “machine” on these boards have their own set of functions, not the standard micropython ones I’ve been using on an ESP32.

Can someone help me understand how I can recreate the following?

from machine import Pin
import machine
import utime

pwPin = Pin(2, Pin.IN)

while True:
#Arduino Code
pulseSensor = machine.time_pulse_us(pwPin, 1)
result = pulseSensor/147
print("Result = ", result)
#print("Result = ")
utime.sleep(0.5)