mdb_vcb_update
mdb_vcb_update(pfp, (uintptr_t)$1);
extern void mdb_vcb_update(struct mdb_frame *, uintptr_t);