c_gtk_printer_get_hard_margins

Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
__gshared extern (C)
int function(GtkPrinter* printer, double* top, double* bottom, double* left, double* right) c_gtk_printer_get_hard_margins;

Meta